Pages that link to "Item:Q1095881"
From MaRDI portal
The following pages link to Definability and quantifier elimination for \(J_ 3\)-theories (Q1095881):
Displaying 6 items.
- On finite-valued propositional logical calculi (Q1913635) (← links)
- ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY (Q2940892) (← links)
- SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC <b>QCIORE</b> (Q5001546) (← links)
- Tutorial on Inconsistency-Adaptive Logics (Q5241516) (← links)
- Two, Many, and Differently Many (Q5350334) (← links)
- Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 (Q6107287) (← links)
