The following pages link to (Q4840168):
Displayed 15 items.
- Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\) (Q253121) (← links)
- Natural deduction for the Sheffer stroke and Peirce's arrow (and any other truth-functional connective) (Q288247) (← links)
- On Gentzen relations associated with finite-valued logics preserving degrees of truth (Q368479) (← links)
- Canonical signed calculi with multi-ary quantifiers (Q408550) (← links)
- Representations of structural closure operators (Q627430) (← links)
- On partial and paraconsistent logics (Q701297) (← links)
- Cut-elimination and quantification in canonical systems (Q817707) (← links)
- Non-deterministic semantics for logics with a consistency operator (Q997049) (← links)
- The power of Belnap: sequent systems for \(SIXTEEN_{3 }\) (Q1959329) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination (Q3605518) (← links)
- MUltlog 1.0: Towards an expert system for many-valued logics (Q4647516) (← links)
- CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI (Q5024505) (← links)
- Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC (Q6107288) (← links)
- Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation (Q6149588) (← links)