Paraconsistent metatheory: new proofs with old tools

DOI10.1007/s10992-022-09651-xOpenAlexW4220950748WikidataQ113900775 ScholiaQ113900775MaRDI QIDQ2155941

Guillermo Badia, Zach Weber, Patrick R. Girard

Publication date: 15 July 2022

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-022-09651-x

zbMATH Keywords

substructural logicparaconsistent logiccompleteness theoremsinconsistent mathematicsnon-classical metatheory

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Paths to triviality
• To be and not to be: Dialectical tense logic
• Skolem's paradox and constructivism
• Set theory. An introduction to large cardinals
• The logic of paradox
• Subintuitionistic logics
• The undecidability of Grišin's set theory
• 40 years of FDE: an introductory overview
• Towards a non-classical meta-theory for substructural approaches to paradox
• Noncontractive classical logic
• TRUTH WITHOUT CONTRA(DI)CTION
• A remark on free choice sequences and the topological completeness proofs
• TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY
• Belnap's Four-Valued Logic and De Morgan Lattices
• Paradoxes and Inconsistent Mathematics
• Arithmetic Formulated Relevantly
• Metatheory and dialetheism
• MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION
• On Extensions of Elementary Logic
• On weak completeness of intuitionistic predicate logic