The following pages link to (Q3007244):
Displayed 5 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)
- Processing Information from a Set of Sources (Q3600567) (← links)
- Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination (Q3605518) (← links)