Search
Search Results
-
Hereditarily Structurally Complete Intermediate Logics: Citkin’s Theorem Via Duality
A deductive system is said to be structurally complete if its admissible rules are derivable. In addition, it is called hereditarily structurally...
-
Logics of truthmaker semantics: comparison, compactness and decidability
In recent years, there has been a growing interest in truthmaker semantics as a framework for understanding a range of phenomena in philosophy and...
-
Rules of Explosion and Excluded Middle: Constructing a Unified Single-Succedent Gentzen-Style Framework for Classical, Paradefinite, Paraconsistent, and Paracomplete Logics
A unified and modular falsification-aware single-succedent Gentzen-style framework is introduced for classical, paradefinite, paraconsistent, and...
-
Quantified Modal Logics: One Approach to Rule (Almost) them All!
We present a general approach to quantified modal logics that can simulate most other approaches. The language is based on operators indexed by terms...
-
Editorial Introduction: Substructural Logics and Metainferences
The concept of substructural logic was originally introduced in relation to limitations of Gentzen’s structural rules of Contraction, Weakening and...
-
One Variable Relevant Logics are S5ish
Here I show that the one-variable fragment of several first-order relevant logics corresponds to certain S5 ish extensions of the underlying...
-
Jc Beall’s current and potential impact on the continental philosophy of non-classical logics
The continental philosophy of non-classical logics is a relatively new field that seeks to determine whether any aspects of certain continental...
-
Embedding Friendly First-Order Paradefinite and Connexive Logics
First-order intuitionistic and classical Nelson–Wansing and Arieli–Avron–Zamansky logics, which are regarded as paradefinite and connexive logics,...
-
Truth-Value Constants in Multi-Valued Logics
In some presentations of classical and intuitionistic logics, the objectlanguage is assumed to contain (two) truth-value constants: ⊤ (verum) and ⊥... -
Neighbourhood Semantics for Quantified Relevant Logics
The Mares-Goldblatt semantics for quantified relevant logics have been developed for first-order extensions of R , and a range of other relevant...
-
Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5
Falsification-aware (hyper)sequent calculi and Kripke semantics for normal modal logics including S4 and S5 are introduced and investigated in this...
-
Neighbourhood Semantics for Modal Relevant Logics
In this paper, we investigate neighbourhood semantics for modal extensions of relevant logics. In particular, we combine the neighbourhood...
-
On the Provable Contradictions of the Connexive Logics C and C3
Despite the tendency to be otherwise, some non-classical logics are known to validate formulas that are invalid in classical logic. A subclass of...
-
No cause for collapse
We investigate a hitherto under-considered avenue of response for the logical pluralist to collapse worries. In particular, we note that standard...
-
Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again
Centered around the analysis of the prescriptive portion of the Vedas, the Sanskrit philosophical school of Mīmāṃsā provides a treasure trove of...
-
Sequent-Calculi for Metainferential Logics
In recent years, some theorists have argued that the clogics are not only defined by their inferences, but also by their metainferences. In this...
-
Structural Completeness and Superintuitionistic Inquisitive Logics
In this paper, the notion of structural completeness is explored in the context of a generalized class of superintuitionistic logics involving also... -
One-Step Modal Logics, Intuitionistic and Classical, Part 2
Hodes (
2021 ) “looked under the hood” of the familiar versions of the classical propositional modal logic K and its intuitionistic counterpart (see... -
Modal Logics with Non-rigid Propositional Designators
In most modal logics, atomic propositional symbols are directly representing the meaning of sentences (such as sets of possible worlds). In other...