The following pages link to (Q5446288):
Displaying 5 items.
- Canonical signed calculi with multi-ary quantifiers (Q408550) (← links)
- Computational properties of partial non-deterministic matrices and their logics (Q2151408) (← links)
- Two symmetric measurements may cause an unforeseen effect (Q2693843) (← links)
- Taming Paraconsistent (and Other) Logics (Q2946751) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5473745) (← links)