Abstract
In this paper we show how the classical duality results extended to a Duality via Truth contribute to development of a relational semantics for various modal-like logics. In particular, we present a Duality via Truth for some classes of information algebras and frames. We also show that the full categorical formulation of classical duality extends to a full Duality via Truth.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Brink, C., Rewitzky, I.: A Paradigm for Program Semantics: Power Sructures and Duality. CSLI Publications, Stanford (2001)
Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (1990)
Demri, S.P., Orłowska, E.S.: Incomplete Information: Structure, Inference, Complexity. EATCS Monographs in Theoretical Computer Science. Springer, Heidelberg (2002)
Düntsch, I., Orłowska, E., Radzikowska, A.: Lattice-based relation algebras and their representability. In: Swart, H., Orlowska, E., Roubens, M., Schmidt, G. (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., Vakarelov, D.: Relational representation theorems for some lattice-based structures. Journal of Relational Methods in Computer Science 1 (2005)
Düntsch, I., Orłowska, E.: Beyond modalities: sufficiency and mixed algebras. In: Orlowska, E., Szalas, A. (eds.) Relational Methods for Computer Science Applications, pp. 263–285. Physica Verlag, Heidelberg (2001)
Jónsson, B., Tarski, A.: Boolean algebras with operators I. American Journal of Mathematics 73, 891–939 (1951)
Orłowska, E., Radzikowska, A.: Relational representability for algebras of substructural logics. In: Proceedings of the 8th International Seminar RelMiCS, St.Catharines, Canada, February 22-26, 2005, pp. 189–195 (2005)
Orłowska, E., Rewitzky, I.: Duality via Truth: Semantic frameworks for lattice-based logics. Logic Journal of the IGPL, 28 pages (to appear, 2005)
Orłowska, E., Vakarelov, D.: Lattice-based modal algebras and modal logics. In: Westerstahl, D., Valdés-Villanueva, L.M., Hajek, P. (eds.) Proceedings of the 12th International Congress of Logic, Methodology and Philosophy of Science, Oviedo, Spain, pp. 22–23. Elsevier, Amsterdam (to appear, 2003); Abstract in the Volume of Abstracts
Rewitzky, I.: Binary multirelations. In: de Swart, H., et al. (eds.) Theory and Applications of Relational Structures as Knowledge Instruments. LNCS, vol. 2929, pp. 256–271. Springer, Heidelberg (2003)
van Benthem, J.: Correspondence Theory. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. II, pp. 167–247. Kluwer Academic Publishers, Amsterdam (1984)
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
Orłowska, E., Rewitzky, I., Düntsch, I. (2006). Relational Semantics Through Duality. In: MacCaull, W., Winter, M., Düntsch, I. (eds) Relational Methods in Computer Science. RelMiCS 2005. Lecture Notes in Computer Science, vol 3929. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11734673_2
Download citation
DOI: https://doi.org/10.1007/11734673_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33339-5
Online ISBN: 978-3-540-33340-1
eBook Packages: Computer ScienceComputer Science (R0)