The lattice of Belnapian modal logics: Special extensions and counterparts
Journal Title: Logic and Logical Philosophy - Year 2016, Vol 25, Issue 1
Abstract
Let K be the least normal modal logic and BK its Belnapian version, which enriches K with ‘strong negation’. We carry out a systematic study of the lattice of logics containing BK based on: • introducing the classes (or rather sublattices) of so-called explosive, complete and classical Belnapian modal logics; • assigning to every normal modal logic three special conservative extensions in these classes; • associating with every Belnapian modal logic its explosive, complete and classical counterparts. We investigate the relationships between special extensions and counterparts, provide certain handy characterisations and suggest a useful decomposition of the lattice of logics containing BK.
Authors and Affiliations
Sergei P. Odintsov, Stanislav O. Speranski
Keywords
Related Articles
- EP ID EP201102
- DOI 10.12775/LLP.2016.002
- Views 73
- Downloads 0
The mereology of structural universals
This paper explores the mereology of structural universals, using the structural richness of a non-classical mereology without unique fusions. The paper focuses on a problem posed by David Lewis, who using the example of...
Partial and paraconsistent three-valued logics
On the sidelines of classical logic, many partial and paraconsistent three-valued logics have been developed. Most of them differ in the notion of logical consequence or in the definition of logical connectives. This art...
Can Başkent (ed.), Perspectives on Interrogative Models of Inquiry, Springer, 2016
Book Reviews: Can Başkent (ed.), Perspectives on Interrogative Models of Inquiry, Logic, Argumentation & Reasoning, Volume 8, Springer, 2016, vii + 197 pages, ISBN: 978-3-319-20761-2 (Print), 978-3-319-20762-9 (Online)....
Errata Corrige to “Pragmatic and dialogic interpretation of bi-intuitionism. Part I”
The goal of [3] is to sketch the construction of a syntactic categorical model of the bi-intuitionistic logic of assertions and hypotheses AH, axiomatized in a sequent calculus AH-G1, and to show that such a model has a...
The Need for Pluralism of Causality
It will be shown in this article that a pluralism of causality is needed. Not only, as might be expected, for such different domains as natural sciences and humanities, but even within the domain of physics different cau...