The following pages link to Four-valued paradefinite logics (Q1685565):
Displaying 17 items.
- De Morgan clones and four-valued logics (Q829759) (← links)
- Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion (Q830398) (← links)
- Modal extension of ideal paraconsistent four-valued logic and its subsystem (Q2004955) (← links)
- Embedding friendly first-order paradefinite and connexive logics (Q2079706) (← links)
- An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi (Q2084568) (← links)
- Three new genuine five-valued logics intended to model non-trivial concepts (Q2133459) (← links)
- Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic (Q2186695) (← links)
- The normal and self-extensional extension of Dunn-Belnap logic (Q2198314) (← links)
- Paraconsistency and the need for infinite semantics (Q2317507) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You (Q3305614) (← links)
- A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics (Q4999462) (← links)
- Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and (Ideal) Paraconsistency (Q5020166) (← links)
- О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE (Q5059699) (← links)
- О выразительных возможностях отдельных расширений четырехзначной логики Белнапа (Q5061420) (← links)
- On paracomplete versions of Jaśkowski's discussive logic (Q6555700) (← links)
- Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics (Q6612000) (← links)
