Pages that link to "Item:Q874747"
From MaRDI portal
The following pages link to Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics (Q874747):
Displaying 25 items.
- Generalizing functional completeness in Belnap-Dunn logic (Q497416) (← links)
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics (Q744990) (← links)
- Proof systems for reasoning about computation errors (Q1015487) (← links)
- Self-extensional three-valued paraconsistent logics (Q1682293) (← links)
- Cut-free sequent calculus and natural deduction for the tetravalent modal logic (Q2062196) (← links)
- Finite two-dimensional proof systems for non-finitely axiomatizable logics (Q2104551) (← links)
- Proof search on bilateralist judgments over non-deterministic semantics (Q2142069) (← links)
- An unexpected Boolean connective (Q2169126) (← links)
- The normal and self-extensional extension of Dunn-Belnap logic (Q2198314) (← links)
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations (Q2228348) (← 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)
- Taming Paraconsistent (and Other) Logics (Q2946751) (← links)
- Automated Support for the Investigation of Paraconsistent and Other Logics (Q3455840) (← links)
- Processing Information from a Set of Sources (Q3600567) (← links)
- (Q4636039) (← links)
- A cut-free sequent calculus for the logic of constant domains with a limited amount of duplications (Q4934883) (← links)
- Exactly true and non-falsity logics meeting infectious ones (Q4995617) (← 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)
- Two, Many, and Differently Many (Q5350334) (← links)
- Axiomatizing non-deterministic many-valued generalized consequence relations (Q6088603) (← links)
- Non-transitive correspondence analysis (Q6156626) (← links)
- Non-deterministic logic of generalized classical truth values (Q6623947) (← links)
