Inconsistent models of arithmetic. I: Finite models
From MaRDI portal
Publication:1362598
DOI10.1023/A:1004251506208zbMATH Open0878.03017WikidataQ56852437 ScholiaQ56852437MaRDI QIDQ1362598FDOQ1362598
Authors: Graham Priest 
Publication date: 5 August 1997
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Recommendations
- Inconsistent models of arithmetic. II: The general case
- Inconsistent models (and infinite models) for arithmetics with constructible falsity
- Theories of arithmetics in finite models
- scientific article; zbMATH DE number 999649
- scientific article; zbMATH DE number 2236639
- scientific article; zbMATH DE number 4043837
- On the structure of initial segments of models of arithmetic
- Inconsistent Models for Relevant Arithmetics
- Inconsistent models for relevant arithmetics
- Regularity in models of arithmetic
paraconsistent logictailheapinterpretationsfirst-order arithmeticfinite modelCollapsing Lemmainconsistent models
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Minimally inconsistent LP
- Title not available (Why is that?)
- Inconsistent models for relevant arithmetics
- A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic
Cited In (21)
- Denotation, paradox and multiple meanings
- Adaptive Fregean set theory
- On paraconsistent downward Löwenheim-Skolem theorems
- Notes on the model theory of DeMorgan logics
- Peeking at the impossible
- Second-order logic of paradox
- On elimination of quantifiers in some non-classical mathematical theories
- Variations on the collapsing lemma
- New arguments for adaptive logics as unifying frame for the defeasible handling of inconsistency
- Regularity in models of arithmetic
- The scope of Gödel's first incompleteness theorem
- Inconsistency in mathematics and the mathematics of inconsistency
- Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics
- Title not available (Why is that?)
- Inconsistent Models for Relevant Arithmetics
- A note on Priest's finite inconsistent arithmetics
- Inconsistent models of arithmetic. II: The general case
- AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC
- On LP-models of arithmetic
- Paraconsistent computation and dialetheic machines
- Inconsistent models (and infinite models) for arithmetics with constructible falsity
This page was built for publication: Inconsistent models of arithmetic. I: Finite models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1362598)
