-
Article
Open AccessA New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics
Hintikka’s game theoretical approach to semantics has been successfully applied also to some non-classical logics. A recent example is Başkent (A game theoretical semantics for logics of nonsense, 2020. ...
-
Article
Open AccessParaconsistent Belief Revision: An Algebraic Investigation
This paper offers a logico-algebraic investigation of AGM belief revision based on the logic of paradox ( \(\mathrm {LP}\) ...
-
Chapter
An Interlude: Abstract Algebraic Logic
Since the next three chapters will contain some heavy-duty Abstract Algebraic Logic, we include here some basic notions on the subject to keep this book reasonably self-contained. This chapter is not an Abstra...
-
Chapter
Conclusions and Open Problems
The present book aims at providing readers with a primer on logics of variable inclusion, systems that have attracted more and more attention in the last few years. The main focus of the volume is algebraic, g...
-
Chapter
Logic, analyticity, and significance
According to a dominant tradition in modern and contemporary philosophy, logic is the paradigmatic example of a discipline consisting of analytic sentences, whose truth or otherwise can be known simply by an a...
-
Chapter
Dualities for Regular Varieties
Mathematicians often try to shed new light on the properties of abstract or unfamiliar structures by somehow linking them to more concrete or better understood objects. Representation theorems are a convenient...
-
Chapter
Logics of Left Variable Inclusion
Regular varieties are defined by regular identities, where the same set of variables occurs on both sides. Therefore, we are not taking a wild guess if we assume that there must be some kinship between regular...
-
Chapter
Paraconsistent Weak Kleene Logic
We close this volume with a focus on one of the most notable and best understood logics of variable inclusion – Paraconsistent Weak Kleene Logic, the left variable inclusion companion of classical logic.
-
Book
-
Chapter
Płonka Sums and Regular Varieties
As we have hinted in the previous chapter, the algebraic construction of Płonka sums yields a convenient representation for algebras defined by means of regular identities, namely, those identities where the same...
-
Chapter
Logics of Right Variable Inclusion
In Chapter 5 we associated to an arbitrary logic L its left variable inclusion companion Ll.
-
Article
Containment Logics: Algebraic Completeness and Axiomatization
The paper studies the containment companion (or, right variable inclusion companion) of a logic \(\vdash \) ...
-
Article
Proof Theory of Paraconsistent Weak Kleene Logic
Paraconsistent Weak Kleene Logic (PWK) is the 3-valued propositional logic defined on the weak Kleene tables and with two designated values. Most of the existing proof systems for PWK are characterised by the ...
-
Article
Open AccessAlgebraic Analysis of Demodalised Analytic Implication
The logic DAI of demodalised analytic implication has been introduced by J.M. Dunn (and independently investigated by R.D. Epstein) as a variation on a time-honoured logical system by C.I. Lewis’ student W.T. Par...
-
Chapter and Conference Paper
Counting Finite Linearly Ordered Involutive Bisemilattices
The class of involutive bisemilattices plays the role of the algebraic counterpart of paraconsistent weak Kleene logic. Involutive bisemilattices can be represented as Płonka sums of Boolean algebras, that is sem...