The following pages link to (Q4401922):
Displaying 14 items.
- Suszko's thesis, inferential many-valuedness, and the notion of a logical system (Q931405) (← links)
- Multi-valued semantics: why and how (Q1037597) (← links)
- Critical notice to: D. M. Gabbay's ''Investigations in modal and tense logics with applications to problems in philosophy and linguistics'' (Q1139033) (← links)
- The revival of rejective negation (Q1582228) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Valuations: bi, tri, and tetra (Q2278844) (← links)
- (Q4553278) (← links)
- Syntax for Semantics: Krull’s Maximal Ideal Theorem (Q5024726) (← links)
- Revisiting Semilattice Semantics (Q5027237) (← links)
- Incorporating the Relation into the Language? (Q5066092) (← links)
- THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY (Q5085858) (← links)
- Ordering groups constructively (Q5238136) (← links)
- From (Paraconsistent) Topos Logic to Universal (Topos) Logic (Q5350337) (← links)
- A general Glivenko-Gödel theorem for nuclei (Q6653747) (← links)
