Search
Search Results
-
A Substructural Approach to Explicit Modal Logic
In this paper, we build on earlier work by Standefer (Logic J IGPL 27(4):543–569, 2019) in investigating extensions of substructural logics,...
-
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...
-
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...
-
A Hyperintensional Logic of Non-prime Evidence
We present a logic of evidence that reduces agents’ epistemic idealisations by combining classical propositional logic with substructural modal logic...
-
Higher-Level Paradoxes and Substructural Solutions
There have been recent arguments against the idea that substructural solutions are uniform. The claim is that even if the substructuralist solves the...
-
Truth-Maker Semantics for Some Substructural Logics
Fine (J Philos Log 43:549–577, 2014) developed a truthmaker semantics for intuitionistic logic, which is also called exact semantics, since it is... -
Hiroakira Ono on Substructural Logics
This volume is dedicated to Hiroakira Ono life’s work on substructural logics. Chapters, written by well-established academics, cover topics related...
-
Towards Substructural Property-Based Testing
We propose to extend property-based testing to substructural logics to overcome the current lack of reasoning tools in the field. We take the first... -
A Framework for Substructural Type Systems
Mechanisation of programming language research is of growing interest, and the act of mechanising type systems and their metatheory is generally... -
Logical Instrumentalism and Anti-exceptionalism about Logic
This paper critically examines logical instrumentalism as it has been put forth recently in the anti-exceptionalism about logic debate. I will argue...
-
Defining Formal Explanation in Classical Logic by Substructural Derivability
Precisely framing a formal notion of explanation is a hard problem of great relevance for several areas of scientific investigation such as computer... -
The Universal Theory Tool Building Toolkit Is Substructural
Consider the set of inferences that are acceptable to use in all our theory building endeavors. Call this set of inferences the universal theory... -
Saving logic from paradox via nonclassical recapture
The Liar paradox arguably shows that a coherent and self-applicable notion of truth is governed by nonclassical logic. It then seems natural to...
-
Conservative Expansions of Substructural Logics
In this paper we investigate several conservative expansions of substructural logics, and of fuzzy logics in particular. The most important are the... -
On Pretabular Extensions of Relevance Logic
We exhibit infinitely many semisimple varieties of semilinear De Morgan monoids (and likewise relevant algebras) that are not tabular, but which have...
-
Reflective equilibrium in logic
Among the areas of knowledge that the method of reflective equilibrium (RE) has been applied to is that of logical validity. According to RE in...
-
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’...
-
Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic
This work is the first exploration of proof-theoretic semantics for a substructural logic. It focuses on the base-extension semantics (B-eS) for...