The following pages link to (Q3007244):
Displayed 7 items.
- Canonical signed calculi with multi-ary quantifiers (Q408550) (← links)
- Rough sets and 3-valued logics (Q1005949) (← links)
- Multi-valued semantics: why and how (Q1037597) (← links)
- Taming Paraconsistent (and Other) Logics (Q2946751) (← links)
- Processing Information from a Set of Sources (Q3600567) (← links)
- Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination (Q3605518) (← links)
- Three-Valued Logic for Reasoning about Covering-Based Rough Sets (Q5245184) (← links)