Inconsistent models of arithmetic. I: Finite models

DOI10.1023/A:1004251506208zbMath0878.03017WikidataQ56852437 ScholiaQ56852437MaRDI QIDQ1362598

Graham Priest

Publication date: 5 August 1997

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

zbMATH Keywords

interpretationsfirst-order arithmeticparaconsistent logictailheapfinite modelCollapsing Lemmainconsistent models

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items (17)

Adaptive Fregean set theory ⋮ Second-order logic of paradox ⋮ 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 ⋮ Inconsistent models of arithmetic Part II: the general case ⋮ On LP-models of arithmetic ⋮ Variations on the Collapsing Lemma ⋮ Denotation, Paradox and Multiple Meanings ⋮ 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 ⋮ A note on Priest's finite inconsistent arithmetics ⋮ Paraconsistent Computation and Dialetheic Machines ⋮ Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity ⋮ Peeking at the impossible ⋮ Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics

Cites Work

• Minimally inconsistent LP
• A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic
• Inconsistent models for relevant arithmetics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Inconsistent models of arithmetic. I: Finite models