On LP-models of arithmetic

DOI10.2178/JSL/1208358750MaRDI QIDQ5387309zbMATH OpenOpenAlexFDO

Authors 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

zbMATH Keywords

models of arithmeticparaconsistent logic LP

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(13)

• The scope of Gödel's first incompleteness theorem
• AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC
• Some Comments and Replies
• Inconsistent models (and infinite models) for arithmetics with constructible falsity
• New arguments for adaptive logics as unifying frame for the defeasible handling of inconsistency
• Algebra-valued models for LP-set theory
• On elimination of quantifiers in some non-classical mathematical theories
• On paraconsistent downward Löwenheim-Skolem theorems
• scientific article; zbMATH DE number 2208069 (Why is no real title available?)
• \(\text{NP}\not={co}\)-NP and models of arithmetic
• Is there an inconsistent primitive recursive relation?
• Critical math kinds: a framework for the philosophy of alternative mathematics
• A note on the strength of paraconsistent arithmetic

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)