Application of Urquhart’s Representation of Lattices to Some Non–classical Logics

&
In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 347-366 (2021)
  Copy   BIBTEX

Abstract

Based on Alasdair Urquhart’s representation of not necessarily distributive bounded lattices we exhibit several discrete dualities in the spirit of the “duality via truth” concept by Orłowska and Rewitzky. We also exhibit a discrete duality for Urquhart’s relevant algebras and their frames.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/978-3-030-71430-7_13

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,752

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

St. Alasdair on Lattices Everywhere.Katalin Bimbó & J. Michael Dunn - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 323-346.
Duality via Truth: Semantic frameworks for lattice-based logics.Ewa Orlowska & Ingrid Rewitzky - 2005 - Logic Journal of the IGPL 13 (4):467-490.
Distributive lattices with a dual homomorphic operation.Alasdair Urquhart - 1979 - Studia Logica 38 (2):201 - 209.
Duality for lattice-ordered algebras and for normal algebraizable logics.Chrysafis Hartonas - 1997 - Studia Logica 58 (3):403-450.
Beth Definability in the Logic KR.Jacob Garber - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 213-224.
Kripke models for linear logic.Gerard Allwein & J. Michael Dunn - 1993 - Journal of Symbolic Logic 58 (2):514-545.
Revisiting Semilattice Semantics.Shawn Standefer - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 243-259.
A Logical Autobiography.Alasdair Urquhart - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 1-21.
On the representation of n4-lattices.Sergei P. Odintsov - 2004 - Studia Logica 76 (3):385 - 405.
Duality for algebras of relevant logics.Alasdair Urquhart - 1996 - Studia Logica 56 (1-2):263 - 276.
Autoreferential semantics for many-valued modal logics.Zoran Majkic - 2008 - Journal of Applied Non-Classical Logics 18 (1):79-125.
Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics.Allen P. Hazen & Francis Jeffry Pelletier - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 557-570.
Ockham Algebras—An Urquhart Legacy.T. S. Blyth & H. J. Silva - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 367-387.
Superintuitionistic companions of classical modal logics.Frank Wolter - 1997 - Studia Logica 58 (2):229-259.
Review: Raymond Balbes, Philip Dwinger, Distributive Lattices. [REVIEW]Alasdair Urquhart - 1977 - Journal of Symbolic Logic 42 (4):587-588.

Analytics

Added to PP
2022-03-09

Downloads
19 (#796,059)

6 months
16 (#154,895)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references