An equivalence between indiscernibility relations in information systems and a fragment of intuitionistic logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 208 LNCS, Issue , 1985, Pages 298-317

  Rauszer, Cecylia M ^a  

^a UNIVERSITY OF WARSAW   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84885604183     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-16066-3_25     Document Type: Conference Paper

References (10)

1. W. W. Armstrong, Dependency structures of database relationships, Proc. IFIP 74, North-Holland Publ. Co., Amsterdam, 1974, pp,580-583
2. E. P. Codd, A relational model of data for large shared data banks, Commun. ACM 13, 6 (June 1970), pp.377-387
3. A. Diego, Les algèbres de Hilbert, Paris (1966)
4. E. Pagin, Horn clauses and database dependencies, Journal of the ACM, Vol.29, No 4, (Oct. 1982), pp.952-985
5. G. Gentzen, Untersuchungen über das logische Schliessen I,II, Mathematische Zeitschrift, Vol. 39(1935), pp.176-210, 405-443.
6. W. Marek, Z. Pawlak, On information storage and retrieval systems, Theoretical Computer Science 1(1976), pp.331-354
7. Z. Pawlak, Information system theoretical foundations, Inform. Systems, Vol.6, No 3 (1981), pp.205-218
8. Z. Pawlak, Rough classification, CC PAS Reports, No 506, Warszawa 1983
9. Z. Pawlak, C. Rauszer, Dependency of attributes in information systems (to appear)
10. C. Rauszer, Algebraic properties of functional dependencies(to appear)