Abstract
Relational representation theorems are presented in a unified framework for general (including non-distributive) lattices endowed with various negation operations.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Allwein, G., Dunn, J.M.: Kripke models for linear logic. J. Symb. Logic 58, 514–545 (1993)
Balbes, R., Dwinger, P.: Distributive Lattices. University of Missouri Press (1974)
Białynicki-Birula, A., Rasiowa, H.: On constructible falsity in the constructive logic with strong negation. Colloquium Mathematicum 6, 287–310 (1958)
Dunn, J.M.: Star and Perp: Two Treatments of Negation. In: Tomberlin, J. (ed.) Philosophical Perspectives (Philosophy of Language and Logic), vol. 7, pp. 331–357 (1993)
Dunn, J.M., Hardegree, G.M.: Algebraic Methods in Philosophical Logic. Clarendon Press, Oxford (2001).
Düntsch, I., Orłowska, E., Radzikowska, A.M.: Lattice–based relation algebras and their representability. In: de Swart, H., Orłowska, E., Schmidt, G., Roubens, M. (eds.) Theory and Applications of Relational Structures as Knowledge Instruments. LNCS, vol. 2929, pp. 231–255. Springer, Heidelberg (2003)
Düntsch, I., Orłowska, E., Radzikowska, A.M., Vakarelov, D.: Relational representation theorems for some lattice-based structures. Journal of Relation Methods in Computer Science JoRMiCS 1, 132–160 (2004)
Dzik, W., Orłowska, E., vanAlten, C.: Relational Representation Theorems for Lattices with Negations. In: Relmics 2006 Proceedings (to appear, 2006)
Goldblatt, R.: Representation for Ortholattices. Bull. London Math. Soc. 7, 45–48 (1975)
Johansson, I.: Der Minimalkalül, ein reduzierte intuitionistischer Formalismus. Compositio Mathematica 4, 119–136 (1936)
Orłowska, E., Radzikowska, A.M.: Information relations and operators based on double residuated lattices. In: de Swart, H. (ed.) RelMiCS 2001. LNCS, vol. 2561, pp. 185–199. Springer, Heidelberg (2002)
Orłowska, E., Radzikowska, A.M.: Double residuated lattices and their applications. In: de Swart, H. (ed.) RelMiCS 2001. LNCS, vol. 2561, pp. 171–189. Springer, Heidelberg (2002)
Orłowska, 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, Oviedo, August 2003. Methodology and Philosophy of Science, pp. 147–170. King’s College London Publication (2005)
Rasiowa, H.: An Algebraic Approach to Non-Classical Logics. Studies in Logic and the Foundations of Mathematics, vol. 78. North Holland (1974)
Rasiowa, H., Sikorski, R.: Mathematics of Metamathematics, PWN, Warszawa (1970)
Stone, M.H.: Topological representation of distributive lattices and Brouwerian logics. Cas. Mat. Fiz. 67, 1–25 (1937)
Urquhart, A.: A topological representation theorem for lattices. Algebra Universalis 8, 45–58 (1978)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dzik, W., Orłowska, E., van Alten, C. (2006). Relational Representation Theorems for Lattices with Negations: A Survey. In: de Swart, H., Orłowska, E., Schmidt, G., Roubens, M. (eds) Theory and Applications of Relational Structures as Knowledge Instruments II. Lecture Notes in Computer Science(), vol 4342. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11964810_12
Download citation
DOI: https://doi.org/10.1007/11964810_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69223-2
Online ISBN: 978-3-540-69224-9
eBook Packages: Computer ScienceComputer Science (R0)