Pages that link to "Item:Q1362598"
From MaRDI portal
The following pages link to Inconsistent models of arithmetic. I: Finite models (Q1362598):
Displayed 10 items.
- Notes on the model theory of DeMorgan logics (Q424585) (← links)
- Peeking at the impossible (Q1276419) (← links)
- Second-order logic of paradox (Q1633895) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- Inconsistency in mathematics and the mathematics of inconsistency (Q2263045) (← links)
- A note on Priest's finite inconsistent arithmetics (Q2499311) (← links)
- Inconsistent models of arithmetic Part II: the general case (Q2710594) (← links)
- AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC (Q3195589) (← links)
- New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency (Q4912987) (← links)
- On <i>LP</i>-models of arithmetic (Q5387309) (← links)