Paraconsistent metatheory: new proofs with old tools
type: Item
instance of: scholarly article
title: Paraconsistent metatheory: new proofs with old tools
author: Guillermo Badia
author: Zach Weber
author: Patrick R. Girard
published in: Journal of Philosophical Logic
publication date: 2022-07-15T00:00:00Z
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 7557915
zbMATH Keywords: paraconsistent logic
zbMATH Keywords: inconsistent mathematics
zbMATH Keywords: substructural logic
zbMATH Keywords: non-classical metatheory
zbMATH Keywords: completeness theorems
Wikidata QID: Q113900775
MaRDI profile type: MaRDI publication profile
full work available at URL: s10992-022-09651-x
OpenAlex ID: W4220950748
cites work: Q4609447
cites work: The undecidability of Grišin's set theory
cites work: Q3235339
cites work: Set theory. An introduction to large cardinals
cites work: Belnap's Four-Valued Logic and De Morgan Lattices
cites work: MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION
cites work: Q5799431
cites work: Q5812175
cites work: A remark on free choice sequences and the topological completeness proofs
cites work: On weak completeness of intuitionistic predicate logic
cites work: On Extensions of Elementary Logic
cites work: Skolem's paradox and constructivism
cites work: Arithmetic Formulated Relevantly
cites work: Q4841568
cites work: Q3059459
cites work: Paths to triviality
cites work: Q4639910
cites work: 40 years of FDE: an introductory overview
cites work: The logic of paradox
cites work: To be and not to be: Dialectical tense logic
cites work: Q3992933
cites work: Q3518425
cites work: Q4639906
cites work: Metatheory and dialetheism
cites work: Subintuitionistic logics
cites work: Noncontractive classical logic
cites work: Towards a non-classical meta-theory for substructural approaches to paradox
cites work: Q3874167
cites work: Q3701398
cites work: Q3395521
cites work: TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY
cites work: Paradoxes and Inconsistent Mathematics
cites work: TRUTH WITHOUT CONTRA(DI)CTION
DOI: 10.1007/S10992-022-09651-X
description: scientific article; zbMATH DE number 7557915