A note on Priest's finite inconsistent arithmetics

DOI10.1007/s10992-006-9031-1zbMath1101.03023OpenAlexW1988531199MaRDI QIDQ2499311

N. Pathmanathan, Jeffrey Bruce Paris

Publication date: 14 August 2006

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

Full work available at URL: https://doi.org/10.1007/s10992-006-9031-1

zbMATH Keywords

models of arithmeticparaconsistent logicinconsistent arithmeticparadox logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items

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 ⋮ On LP-models of arithmetic ⋮ New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency ⋮ The scope of Gödel's first incompleteness theorem

Cites Work

• Unnamed Item
• Minimally inconsistent LP
• Inconsistent models of arithmetic. I: Finite models
• Inconsistent models of arithmetic Part II: the general case