Search
Search Results
-
Tarskian Classical Relevant Logic
The Tarskian classical relevant logic \(\mathsf {TR}\)... -
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...
-
An Algebraic Glimpse at Bunched Implications and Separation Logic
We overview the logic of Bunched Implications (BI) and Separation Logic (SL) from a perspective inspired by Hiroakira Ono’s algebraic approach to... -
On Woodruff’s Constructive Nonsense Logic
Sören Halldén’s logic of nonsense is one of the most well-known many-valued logics available in the literature. In this paper, we discuss Peter...
-
Non-Reflexive Nonsense: Proof Theory of Paracomplete Weak Kleene Logic
Our aim is to provide a sequent calculus whose external consequence relation coincides with the three-valued paracomplete logic ‘of nonsense’...
-
Consistent Theories in Inconsistent Logics
The relationship between logics with sets of theorems including contradictions (“inconsistent logics”) and theories closed under such logics is...
-
Relations with Dependence Logic
We saw how by bringing questions into play in logic we can capture dependency relations as cases of (contextual or logical) entailment, and we can... -
(Meta)inferential levels of entailment beyond the Tarskian paradigm
In this paper we discuss the extent to which the very existence of substructural logics puts the Tarskian conception of logical systems in jeopardy....
-
Identity in Mares-Goldblatt Models for Quantified Relevant Logic
Mares and Goldblatt ( The Journal of Symbolic Logic , 71 (01), 163–187,
2006 ) provided an alternative frame semantics for two quantified extensions of... -
Questions in Predicate Logic
In this chapter, we move on from propositional logic to the richer setting of predicate logic. We describe how classical first-order logic can be... -
A Simple Logic of Functional Dependence
This paper presents a simple decidable logic of functional dependence LFD, based on an extension of classical propositional logic with dependence...
-
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...
-
Compositionality in Context
Compositionality is a principle used in logic, philosophy, mathematics, linguistics, and computer science for assigning meanings to language... -
Finite Hilbert Systems for Weak Kleene Logics
Multiple-conclusion Hilbert-style systems allow us to finitely axiomatize every logic defined by a finite matrix. Having obtained such...
-
Popper’s Theory of Deductive Logic
We present Popper’s theory of deductive logic as exhibited in his articles published between 1947 and 1949. After an introduction to Popper’s... -
Hajnal Andréka and István Németi on Unity of Science From Computing to Relativity Theory Through Algebraic Logic
This book features more than 20 papers that celebrate the work of Hajnal Andréka and István Németi. It illustrates an interaction between develo**...
-
The Problem of Truth in Quantum Mechanics
There is a large literature on the issue of the lack of properties (i.e. accidents) in quantum mechanics (the problem of “hidden variables”) and also...