Pages that link to "Item:Q5300580"
From MaRDI portal
The following pages link to Cut-free sequent calculi for C-systems with generalized finite-valued semantics (Q5300580):
Displaying 21 items.
- Negative modalities, consistency and determinedness (Q276032) (← links)
- Efficient reasoning with inconsistent information using C-systems (Q527198) (← links)
- Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics (Q874747) (← links)
- Four-valued paradefinite logics (Q1685565) (← links)
- Cut technique in valued relational systems: Mainsprings and applications (Q1920318) (← links)
- Relevance and paraconsistency - a new approach. III: Cut-free Gentzen- type systems (Q2277440) (← links)
- Paraconsistency and the need for infinite semantics (Q2317507) (← links)
- Finite-valued semantics for canonical labelled calculi (Q2351396) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE (Q2695525) (← links)
- Tools for the Investigation of Substructural and Paraconsistent Logics (Q2938481) (← links)
- Taming Paraconsistent (and Other) Logics (Q2946751) (← links)
- Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics (Q4583342) (← links)
- A family of genuine and non-algebraisable C-systems (Q5000136) (← links)
- Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work) (Q5020161) (← links)
- On Axioms and Rexpansions (Q5020163) (← links)
- Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation (Q5156187) (← links)
- Three-Valued Paraconsistent Propositional Logics (Q5241519) (← links)
- Quasi-canonical systems and their semantics (Q6088602) (← links)
- Non-transitive correspondence analysis (Q6156626) (← links)
- Monadicity of non-deterministic logical matrices is undecidable (Q6659898) (← links)
