Pages that link to "Item:Q3734361"
From MaRDI portal
The following pages link to Inconsistent models for relevant arithmetics (Q3734361):
Displayed 14 items.
- Proof theory and mathematical meaning of paraconsistent C-systems (Q420832) (← links)
- \(\supset\)E is admissible in ``true'' relevant arithmetic (Q1272826) (← links)
- Inconsistent models of arithmetic. I: Finite models (Q1362598) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- Inconsistency in mathematics and the mathematics of inconsistency (Q2263045) (← links)
- AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC (Q3195589) (← links)
- Wedge Sum, Merge and Inconsistency (Q3305419) (← links)
- Some Comments and Replies (Q3305682) (← links)
- Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity (Q3387886) (← links)
- 1996–97 Annual Meeting of the Association for Symbolic Logic (Q4372927) (← links)
- Australasian Association for Logic 30th Anniversary Conference (Q4879897) (← links)
- Assertion, Denial and Non-classical Theories (Q4912986) (← links)
- On elimination of quantifiers in some non‐classical mathematical theories (Q5109215) (← links)
- Paraconsistent Computation and Dialetheic Machines (Q5213766) (← links)