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: 93,296

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

Semantics for first-order superposition logic.Athanassios Tzouvaras - 2019 - Logic Journal of the IGPL 27 (4):570-595.
Propositional superposition logic.Athanassios Tzouvaras - 2018 - Logic Journal of the IGPL 26 (1):149-190.
Propositional Mixed Logic: Its Syntax and Semantics.Karim Nour & Abir Nour - 2003 - Journal of Applied Non-Classical Logics 13 (3-4):377-390.
A Note on Algebraic Semantics for S5 with Propositional Quantifiers.Wesley H. Holliday - 2019 - Notre Dame Journal of Formal Logic 60 (2):311-332.
Categorical Abstract Algebraic Logic: Referential π-Institutions.George Voutsadakis - 2015 - Bulletin of the Section of Logic 44 (1/2):33-51.
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.
A Hyperintensional Logic of Non-prime Evidence.Pietro Vigiani - 2024 - Journal of Philosophical Logic 53 (3):761-788.
Translating Non-classical Logics into Classical Logic by Using Hidden Variables.Juan C. Agudelo-Agudelo - 2017 - Logica Universalis 11 (2):205-224.
On polynomial semantics for propositional logics.Juan C. Agudelo-Agudelo, Carlos A. Agudelo-González & Oscar E. García-Quintero - 2016 - Journal of Applied Non-Classical Logics 26 (2):103-125.
A Neighbourhood Semantics for the Logic TK DOI:10.5007/1808-1711.2011v15n2p287.Cezar A. Mortari & Hércules de Araújo Feitosa - 2011 - Principia: An International Journal of Epistemology 15 (2):287-302.

Analytics

Added to PP
2020-09-28

Downloads
12 (#1,115,280)

6 months
7 (#491,177)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Athanassios Tzouvaras
Aristotle University of Thessaloniki (PhD)

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