Pages that link to "Item:Q2499311"
From MaRDI portal
The following pages link to A note on Priest's finite inconsistent arithmetics (Q2499311):
Displaying 6 items.
- Notes on the model theory of DeMorgan logics (Q424585) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← 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 elimination of quantifiers in some non‐classical mathematical theories (Q5109215) (← links)
- On <i>LP</i>-models of arithmetic (Q5387309) (← links)