Pages that link to "Item:Q2351396"
From MaRDI portal
The following pages link to Finite-valued semantics for canonical labelled calculi (Q2351396):
Displayed 17 items.
- Compositional meaning in logic (Q1682292) (← links)
- Proof search and co-NP completeness for many-valued logics (Q1697337) (← links)
- Calculi for many-valued logics (Q2045004) (← links)
- Sequent calculi for choice logics (Q2104520) (← links)
- Finite two-dimensional proof systems for non-finitely axiomatizable logics (Q2104551) (← links)
- Analytic tableaux for non-deterministic semantics (Q2142063) (← links)
- Proof search on bilateralist judgments over non-deterministic semantics (Q2142069) (← links)
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics (Q2144181) (← links)
- Computational properties of partial non-deterministic matrices and their logics (Q2151408) (← links)
- An unexpected Boolean connective (Q2169126) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Tools for the Investigation of Substructural and Paraconsistent Logics (Q2938481) (← links)
- Taming Paraconsistent (and Other) Logics (Q2946751) (← links)
- On Axioms and Rexpansions (Q5020163) (← links)
- A Note on Calculi for Non-deterministic Many-valued Logics (Q5038570) (← links)
- Axiomatizing non-deterministic many-valued generalized consequence relations (Q6088603) (← links)
- A Category of Ordered Algebras Equivalent to the Category of Multialgebras (Q6200477) (← links)