Algebraic semantics for propositional superposition logic

Journal of Applied Non-Classical Logics 30 (4):335-366 (2020)
  Copy   BIBTEX

Abstract

We provide a new semantics and a slightly different formalisation for the propositional logic with superposition introduced and studied in Tzouvaras [. Propositional superposition logic...

Categories

Keywords

Reprint years

DOI

10.1080/11663081.2020.1826157

Links

PhilArchive



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

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

Equivalential logics.Janusz Czelakowski - 1980 - Bulletin of the Section of Logic 9 (3):108-113.
Semantics for first-order superposition logic.Athanassios Tzouvaras - 2019 - Logic Journal of the IGPL 27 (4):570-595.
A Note on Algebraic Semantics for S5 with Propositional Quantifiers.Wesley H. Holliday - 2019 - Notre Dame Journal of Formal Logic 60 (2):311-332.
A Note on Algebraic Semantics for $mathsf{S5}$ with Propositional Quantifiers.Wesley H. Holliday - 2019 - Notre Dame Journal of Formal Logic 60 (2):311-332.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
Algebraic Semantics for Deductive Systems.W. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153-180.
Algebraic semantics for deductive systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
A Semantic Hierarchy for Intuitionistic Logic.Guram Bezhanishvili & Wesley H. Holliday - 2019 - Indagationes Mathematicae 30 (3):403-469.
Propositional superposition logic.Athanassios Tzouvaras - 2018 - Logic Journal of the IGPL 26 (1):149-190.
Inquisitive Intuitionistic Logic.Wesley H. Holliday - 2020 - In Nicola Olivetti & Rineke Verbrugge (eds.), Advances in Modal Logic, Vol. 11. College Publications. pp. 329-348.
Algebraic semantics for the ‐fragment of and its properties.Katarzyna Słomczyńska - 2017 - Mathematical Logic Quarterly 63 (3-4):202-210.
Intuitionistic propositional logic with Galois connections.Wojciech Dzik, Jouni Järvinen & Michiro Kondo - 2010 - Logic Journal of the IGPL 18 (6):837-858.
Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini.Abir Nour - 1999 - Mathematical Logic Quarterly 45 (4):457-466.
Categorical Abstract Algebraic Logic: Algebraic Semantics for (documentclass{article}usepackage{amssymb}begin{document}pagestyle{empty}$bf{pi }$end{document})‐Institutions.George Voutsadakis - 2013 - Mathematical Logic Quarterly 59 (3):177-200.
Kripke-style semantics for many-valued logics.Franco Montagna & Lorenzo Sacchetti - 2003 - Mathematical Logic Quarterly 49 (6):629.

Analytics

Added to PP
2020-09-28

Downloads
8 (#1,287,956)

6 months
3 (#992,474)

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

The Connectives.Lloyd Humberstone - 2011 - MIT Press. Edited by Lloyd Humberstone.
Boolean Algebras with Operators.Alfred Tarski - 1953 - Journal of Symbolic Logic 18 (1):70-71.
Propositional superposition logic.Athanassios Tzouvaras - 2018 - Logic Journal of the IGPL 26 (1):149-190.

Add more references