On LP-models of arithmetic

DOI10.2178/JSL/1208358750zbMATH Open1143.03013OpenAlexW2092950301MaRDI QIDQ5387309FDOQ5387309

Jeff Paris, Alla Sirokofskich

Publication date: 8 May 2008

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

Full work available at URL: https://projecteuclid.org/euclid.jsl/1208358750

Recommendations

• Inconsistent models of arithmetic. I: Finite models
• scientific article; zbMATH DE number 1735935
• On paraconsistent downward Löwenheim-Skolem theorems
• AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC
• Inconsistent models of arithmetic. II: The general case

zbMATH Keywords

models of arithmeticparaconsistent logic LP

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Models of arithmetic and set theory (03C62)

Cites Work

• Inconsistent models of arithmetic. I: Finite models
• A note on Priest's finite inconsistent arithmetics
• Inconsistent number systems

Cited In (7)

• On elimination of quantifiers in some non‐classical mathematical theories
• Some Comments and Replies
• The scope of Gödel's first incompleteness theorem
• Title not available (Why is that?)
• AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC
• \(\text{NP}\not={co}\)-NP and models of arithmetic
• New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency

This page was built for publication: On LP-models of arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5387309)