Pages that link to "Item:Q2710594"
From MaRDI portal
The following pages link to Inconsistent models of arithmetic Part II: the general case (Q2710594):
Displayed 11 items.
- Notes on the model theory of DeMorgan logics (Q424585) (← 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)
- TRANSFINITE CARDINALS IN PARACONSISTENT SET THEORY (Q2890698) (← links)
- AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC (Q3195589) (← links)
- Variations on the Collapsing Lemma (Q3305667) (← links)
- 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 (Q4678940) (← links)
- New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency (Q4912987) (← links)
- Some Lessons Learned About Adding Conditionals to Certain Many-Valued Logics (Q5027251) (← links)
- On elimination of quantifiers in some non‐classical mathematical theories (Q5109215) (← links)