Algebraic Analysis of Demodalised Analytic Implication

Journal of Philosophical Logic:1-23 (forthcoming)

Authors
Antonio Ledda
Universita di Cagliari
Abstract
The logic DAI of demodalised analytic implication has been introduced by J.M. Dunn as a variation on a time-honoured logical system by C.I. Lewis’ student W.T. Parry. The main tenet underlying this logic is that no implication can be valid unless its consequent is “analytically contained” in its antecedent. DAI has been investigated both proof-theoretically and model-theoretically, but no study so far has focussed on DAI from the viewpoint of abstract algebraic logic. We provide several different algebraic semantics for DAI, showing their equivalence with the known semantics by Dunn and Epstein. We also show that DAI is algebraisable and we identify its equivalent quasivariety semantics. This class turns out to be a linguistic and axiomatic expansion of involutive bisemilattices, a subquasivariety of which forms the algebraic counterpart of Paraconsistent Weak Kleene logic. This fact sheds further light on the relationship between containment logics and logics of nonsense.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s10992-019-09502-2
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 41,668
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Survey of Abstract Algebraic Logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
A Computational Interpretation of Conceptivism.Thomas Macaulay Ferguson - 2014 - Journal of Applied Non-Classical Logics 24 (4):333-367.

View all 12 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
Algebraic Semantics for Deductive Systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
Algebraic Semantics for Deductive Systems.W. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1):153-180.
Equivalential Logics.Janusz Czelakowski - 1980 - Bulletin of the Section of Logic 9 (3):108-113.
A New Approach to Classical Relevance.Inge Bal & Peter Verdée - 2015 - Studia Logica 103 (5):919-954.
Kripke-Style Semantics for Many-Valued Logics.Franco Montagna & Lorenzo Sacchetti - 2003 - Mathematical Logic Quarterly 49 (6):629.
On the Algebraic Structure of Linear, Relevance, and Fuzzy Logics.Francesco Paoli - 2002 - Archive for Mathematical Logic 41 (2):107-121.
The Logic of Distributive Bilattices.Félix Bou & Umberto Rivieccio - 2011 - Logic Journal of the IGPL 19 (1):183-216.
Paraconsistency and Analyticity.Carlos A. OLLER - 1999 - Logic and Logical Philosophy 7 (1):91-99.

Analytics

Added to PP index
2019-02-13

Total views
8 ( #799,329 of 2,250,068 )

Recent downloads (6 months)
7 ( #246,958 of 2,250,068 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature