Relational representation theorems for lattices with negations: A survey

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

Volumn 4342 LNAI, Issue , 2006, Pages 245-266

  Dzik, Wojciech ^a   Orkowska, Ewa ^b   Van Alten, Clint ^c  

^a UNIVERSITY OF SILESIA   (Poland)

^b NATIONAL INSTITUTE OF TELECOMMUNICATIONS   (Poland)

^c UNIVERSITY OF THE WITWATERSRAND   (South Africa)

Author keywords

[No Author keywords available]

Indexed keywords

RELATIONAL REPRESENTATIONS; UNIFIED FRAMEWORK;

ARTIFICIAL INTELLIGENCE;

EID: 38049096002     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11964810_12     Document Type: Conference Paper

References (17)

1. Allwein, G., Dunn, J.M.: Kripke models for linear logic. J. Symb. Logic 58 (1993) 514-545.
2. Balbes, R. and Dwinger, P.: Distributive Lattices. University of Missouri Press (1974).
3. Bialynicki-Birula, A., Rasiowa, H.: On constructible falsity in the constructive logic with strong negation. Colloquium Mathematicum 6 (1958) 287-310.
4. Dunn, J.M.: Star and Perp: Two Treatments of Negation. In J. Tomberlin (ed.), Philosophical Perspectives (Philosophy of Language and Logic) 7 (1993) 331-357.
5. Dunn, J.M., Hardegree, G.M.: Algebraic Methods in Philosophical Logic. Clarendon Press, Oxford (2001).
6. Düntsch, I., Orlowska, E., Radzikowska, A.M.: Lattice-based relation algebras and their representability. In: de Swart, C.C.M. et al (eds), Theory and Applications of Relational Structures as Knowledge Instruments, Lecture Notes in Computer Science 2929 Springer-Verlag (2003) 234-258.
7. Düntsch, I., Orlowska, E., Radzikowska, A.M., Vakarelov, D.: Relational representation theorems for some lattice-based structures. Journal of Relation Methods in Computer Science JoRMiCS vol.1, Special Volume, ISSN 1439-2275 (2004) 132-160.
8. Dzik, W., Orlowska, E., vanAlten, C: Relational Representation Theorems for Lattices with Negations, to appear in: Relmics' 2006 Proceedings.
9. Goldblatt, R.: Representation for Ortholattices. Bull. London Math. Soc. 7 (1975) 45-48.
10. Johansson, I.: Der Minimalkalül, ein reduzierte intuitionistischer Formalismus. Compositio Mathematica 4 (1936) 119-136.
11. Orlowska, E., Radzikowska, A.M.: Information relations and operators based on double residuated lattices. In de Swart, H.C.M. (ed), Proceedings of the 6th Seminar on Relational Methods in Computer Science RelMiCS'2001 (2001) 185-199.
12. Orlowska, E., Radzikowska, A.M.: Double residuated lattices and their applications. In: de Swart, H.C.M. (ed), Relational Methods in Computer Science, Lecture Notes in Computer Science 2561 Springer-Verlag, Heidelberg (2002) 171-189.
13. Orlowska, E., Vakarelov, D. Lattice-based modal algebras and modal logics. In: Hajek, P., Valdes, L., Westerstahl, D. (eds), Proceedings of the 12th International Congress of Logic, Methodology and Philosophy of Science, Oviedo, August 2003, King's College London Publication (2005) 147-170.
14. Rasiowa, H.: An Algebraic Approach to Non-Classical Logics. North Holland, Studies in Logic and the Foundations of Mathematics vol. 78 (1974).
15. Rasiowa, H., Sikorski, R.: Mathematics of Metamathematics, PWN, Warszawa (1970).
16. Stone, M.H.: Topological representation of distributive lattices and Brouwerian logics. Cas. Mat. Fiz. 67 (1937) 1-25.
17. Urquhart, A.: A topological representation theorem for lattices. Algebra Universalis 8 (1978) 45-58.