Pages that link to "Item:Q1257471"
From MaRDI portal
The following pages link to A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic (Q1257471):
Displayed 10 items.
- Notes on the model theory of DeMorgan logics (Q424585) (← links)
- Relevant Robinson's arithmetic (Q1139580) (← links)
- Inconsistent models of arithmetic. I: Finite models (Q1362598) (← links)
- AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC (Q3195589) (← links)
- Wedge Sum, Merge and Inconsistency (Q3305419) (← links)
- A “Reply” to My “Critics” (Q3305436) (← links)
- Variations on the Collapsing Lemma (Q3305667) (← links)
- Some Comments and Replies (Q3305682) (← links)
- Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity (Q3387886) (← links)
- IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 (Q5037525) (← links)