Pages that link to "Item:Q1580658"
From MaRDI portal
The following pages link to Labeled calculi and finite-valued logics (Q1580658):
Displayed 14 items.
- The logics of strict-tolerant logic (Q253131) (← links)
- Canonical signed calculi with multi-ary quantifiers (Q408550) (← links)
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) (Q545319) (← links)
- Cut-elimination and quantification in canonical systems (Q817707) (← links)
- The power of Belnap: sequent systems for \(SIXTEEN_{3 }\) (Q1959329) (← links)
- Herzberger's limit rule with labelled sequent calculus (Q2193976) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Finite-valued semantics for canonical labelled calculi (Q2351396) (← links)
- Two-sided sequent calculi for \textit{FDE}-like four-valued logics (Q2698547) (← links)
- Partial and paraconsistent three-valued logics (Q2987760) (← links)
- Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism (Q3392939) (← links)
- Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination (Q3605518) (← links)
- Truth-values as labels: a general recipe for labelled deduction (Q3643258) (← links)
- Effective Finite-Valued Approximations of General Propositional Logics (Q5452176) (← links)