Some Properties of Orthologics

Studia Logica 80 (1):75-93 (2005)
  Copy   BIBTEX

Abstract

In this paper, we present three main results on orthologics. Firstly, we give a sufficient condition for an orthologic to have variable separation property and show that the orthomodular logic has this property. Secondly, we show that the class of modular orthologics has an infinite descending chain. Finally we show that there exists a continuum of orthologics.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-005-6777-3

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,561

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

Strong versus weak quantum consequence operations.Jacek Malinowski - 1992 - Studia Logica 51 (1):113 - 123.
A Modal Logic for Discretely Descending Chains of Sets.Heinemann Bernhard - 2004 - Studia Logica 76 (1):67 - 90.
Loosely guarded fragment of first-order logic has the finite model property.Ian Hodkinson - 2002 - Studia Logica 70 (2):205 - 240.
Quasivarieties generated by simple MV-algebras.Joan Gispert & Antoni Torrens - 1998 - Studia Logica 61 (1):79-99.
Priestley duality for quasi-stone algebras.Hernando Gaitán - 2000 - Studia Logica 64 (1):83-92.
The Varieties Defined by P-compatible Identities of Modular Ortholattices.Krystyna Mruczek-Nasieniewska - 2010 - Studia Logica 95 (1-2):21-35.
The Beth Property in Algebraic Logic.W. J. Blok & Eva Hoogland - 2006 - Studia Logica 83 (1-3):49-90.
An Algebraic Study of S5-Modal Gödel Logic.Diego Castaño, Cecilia Cimadamore, José Patricio Díaz Varela & Laura Rueda - 2021 - Studia Logica 109 (5):937-967.
Finite Frames Fail: How Infinity Works Its Way into the Semantics of Admissibility.Jeroen P. Goudsmit - 2016 - Studia Logica 104 (6):1191-1204.

Analytics

Added to PP
2009-01-28

Downloads
54 (#387,777)

6 months
7 (#655,041)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Distributive PBZ $$^{*}$$ -lattices.Claudia Mureşan - 2024 - Studia Logica 112 (6):1319-1341.
Distributive PBZ$$^{*}$$-lattices.Claudia Mureşan - 2024 - Studia Logica 112 (6):1319-1341.

Add more citations

References found in this work

Semantic analysis of orthologic.R. I. Goldblatt - 1974 - Journal of Philosophical Logic 3 (1/2):19 - 35.

Add more references