The following pages link to (Q5316951):
Displaying 11 items.
- Classical logic and quantum logic with multiple and common lattice models (Q504691) (← links)
- An alternative propositional calculus for application to empirical sciences (Q609651) (← links)
- Lewis dichotomies in many-valued logics (Q1935553) (← links)
- Relation algebras of Sugihara, Belnap, Meyer, and Church (Q2210869) (← links)
- (Q3996752) (← links)
- (Q4526555) (← links)
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) (Q5020161) (← links)
- Relevance-Sensitive Truth-Trees (Q5027231) (← links)
- (Q5741601) (← links)
- On robust control invariance and robust set stabilization of mix‐valued logical control networks (Q6141383) (← links)
- Connexivity meets Church and Ackermann (Q6562531) (← links)
