Inconsistent models of arithmetic Part II: the general case

DOI10.2307/2695062zbMath0972.03027OpenAlexW1967760604WikidataQ30054362 ScholiaQ30054362MaRDI QIDQ2710594

Graham Priest

Publication date: 24 April 2001

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

Full work available at URL: https://doi.org/10.2307/2695062

zbMATH Keywords

nucleifirst-order arithmeticparaconsistent logicorder-typeinconsistent models of arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Paraconsistent logics (03B53)

Related Items

TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY, AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC, On elimination of quantifiers in some non‐classical mathematical theories, Notes on the model theory of DeMorgan logics, Variations on the Collapsing Lemma, New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency, The scope of Gödel's first incompleteness theorem, Inconsistency in mathematics and the mathematics of inconsistency, 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03, A note on Priest's finite inconsistent arithmetics, Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics

Cites Work

• Inconsistent models of arithmetic. I: Finite models
• Unnamed Item