Kripke-style Semantics of Orthomodular Logics

Mathematical Logic Quarterly 47 (3):341-362 (2001)
  Copy   BIBTEX

Abstract

We present here a Kripke-style semantics for propositional orthomodular logics that is based on the representation theorem for orthomodular lattices by D.J. Foulis , in which a sort of semigroups is employed. This semantics can characterize the logics above the orthomodular logic by some elementary conditions

Categories

Keywords

Reprint years

DOI

10.1002/1521-3870(200108)47:3

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Topological duality for orthomodular lattices.Joseph McDonald & Katalin Bimbó - 2023 - Mathematical Logic Quarterly 69 (2):174-191.
Orthomodular Structures as Quantum Logics.Pavel Pták & Sylvia Pulmannová - 1991 - Springer.
Kripke-style semantics for many-valued logics.Franco Montagna & Lorenzo Sacchetti - 2003 - Mathematical Logic Quarterly 49 (6):629.
Modal‐type orthomodular logic.Graciela Domenech, Hector Freytes & Christian de Ronde - 2009 - Mathematical Logic Quarterly 55 (3):307-319.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics.Eunsuk Yang - forthcoming - Studia Logica:1-29.
Canonical Extensions and Kripke–Galois Semantics for Non-distributive Logics.Chrysafis Hartonas - 2018 - Logica Universalis 12 (3-4):397-422.
Relational Semantics for Kleene Logic and Action Logic.Katalin Bimbó & J. ~Michael Dunn - 2005 - Notre Dame Journal of Formal Logic 46 (4):461-490.
A Substructural Gentzen Calculus for Orthomodular Quantum Logic.Davide Fazio, Antonio Ledda, Francesco Paoli & Gavin St John - 2023 - Review of Symbolic Logic 16 (4):1177-1198.
Kripke semantics for some paraconsistent logics.Marek Nowak - 1998 - Logica Trianguli 2:87-101.

Analytics

Added to PP
2013-12-01

Downloads
26 (#145,883)

6 months
7 (#1,397,300)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Modal‐type orthomodular logic.Graciela Domenech, Hector Freytes & Christian de Ronde - 2009 - Mathematical Logic Quarterly 55 (3):307-319.

Add more citations

References found in this work

No references found.

Add more references