Normalisation for some infectious logics and their relatives
From MaRDI portal
Publication:6659895
DOI10.4204/eptcs.358.2MaRDI QIDQ6659895
Publication date: 9 January 2025
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
- Handbook of philosophical logic. Vol. 8
- A note on matrices for systems of nonsense-logics
- Natural deduction for Fitting's four-valued generalizations of Kleene's logics
- Intuitive semantics for first-degree entailments and `coupled trees'
- Logics of nonsense and Parry systems
- A simple logical matrix and sequent calculus for Parry's logic of analytic implication
- Relevant Logics Obeying Component Homogeneity
- Paraconsistency and analyticity
- Theories of truth based on four-valued infectious logics
- Defining LFIs and LFUs in extensions of infectious logics
- Natural deduction for three-valued regular logics
- Natural Deduction for Four-Valued both Regular and Monotonic Logics
- On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
- Nonsense logics and their algebraic properties
- COMPLETENESS VIA CORRESPONDENCE FOR EXTENSIONS OF THE LOGIC OF PARADOX
- Logics of variable inclusion and the lattice of consequence relations
- Exactly true and non-falsity logics meeting infectious ones
- Structural proof theory for first-order weak Kleene logics
- Normalisation for Some Quite Interesting Many-Valued Logics
- On bivalent semantics and natural deduction for some infectious logics
- Logics based on linear orders of contaminating values
- An Epistemic Interpretation of Paraconsistent Weak Kleene Logic
- Über Eine Prädikatenlogik mit Partiell Definierten Prädikaten und Funktionen
- On notation for ordinal numbers
This page was built for publication: Normalisation for some infectious logics and their relatives
