AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC
From MaRDI portal
Publication:3195589
DOI10.1017/S1755020314000355zbMath1337.03036MaRDI QIDQ3195589
Publication date: 20 October 2015
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Related Items
Second-order logic of paradox, K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You, Some Comments and Replies, Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics
Cites Work
- Unnamed Item
- A note on naive set theory in LP
- A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic
- Inconsistent models of arithmetic. I: Finite models
- A note on Priest's finite inconsistent arithmetics
- Inconsistent models of arithmetic Part II: the general case
- Inconsistent models for relevant arithmetics
- Natural 3-valued logics—characterization and proof theory
- Whither relevant arithmetic?
- On LP-models of arithmetic