Search
Search Results
-
Categorical Proof-theoretic Semantics
In proof-theoretic semantics, model-theoretic validity is replaced by proof-theoretic validity. Validity of formulae is defined inductively from a...
-
A Sound and Complete Tableaux Calculus for Reichenbach’s Quantum Mechanics Logic
In 1944 Hans Reichenbach developed a three-valued propositional logic (RQML) in order to account for certain causal anomalies in quantum mechanics....
-
The Quantified Argument Calculus with Two- and Three-valued Truth-valuational Semantics
We introduce a two-valued and a three-valued truth-valuational substitutional semantics for the Quantified Argument Calculus (Quarc). We then prove...
-
Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic
This study introduces refutation-aware Gentzen-style sequent calculi and Kripke-style semantics for propositional until-free linear-time temporal...
-
Wright’s Strict Finitistic Logic in the Classical Metatheory: The Propositional Case
Crispin Wright in his 1982 paper argues for strict finitism, a constructive standpoint that is more restrictive than intuitionism. In its appendix,...
-
Propositional Type Theory of Indeterminacy
The aim of this paper is to define a partial Propositional Type Theory. Our system is partial in a double sense: the hierarchy of (propositional)...
-
Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation
This paper studies a combined system of intuitionistic and classical propositional logic from proof-theoretic viewpoints. Based on the semantic...
-
Propositional Logic for Infinitive Sentences
This paper is about sentences of form To be human is to be an animal , To live is to fight , etc. I call them ‘infinitive sentences’. I define an...
-
Structured propositions and a semantics for unrestricted impure logics of ground
I show that the assumption of highly structured propositions can be leveraged to provide a unified semantics for various propositional logics of...
-
Ecumenical Propositional Tableau
Ecumenical logic aims to peacefully join classical and intuitionistic logic systems, allowing for reasoning about both classical and intuitionistic...
-
Propositional Forms of Judgemental Interpretations
In formal semantics based on modern type theories, some sentences may be interpreted as judgements and some as logical propositions. When...
-
A 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...
-
An Algebraic View of the Mares-Goldblatt Semantics
An algebraic characterisation is given of the Mares-Goldblatt semantics for quantified extensions of relevant and modal logics. Some features of this...
-
Truthmaker Semantics, Ground, and Generality
Our aim in this paper is to extend the semantics for the kind of logic of ground developed in deRosset and Fine (
2023 ). In that paper, the authors... -
Bernoulli Semantics and Ordinal Semantics for Conditionals
Conditionals with conditional constituents pose challenges for the Thesis , the idea that the probability of a conditional is the corresponding...
-
Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics
This paper deals with substructural nuclear (image-based) logics and their algebraic and Kripke-style semantics. More precisely, we first introduce a...
-
Loop-Check Specification for a Sequent Calculus of Temporal Logic
In our previous work we have introduced loop-type sequent calculi for propositional linear discrete tense logic and proved that these calculi are...
-
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...
-
Correspondence Theory for Modal Fairtlough–Mendler Semantics of Intuitionistic Modal Logic
We study the correspondence theory of intuitionistic modal logic in modal Fairtlough–Mendler semantics (modal FM semantics) (Fairtlough and Mendler...