Pages that link to "Item:Q495842"

The following pages link to Classical negation and expansions of Belnap-Dunn logic (Q495842):

Displaying 27 items.

• Reductio ad contradictionem: an algebraic perspective (Q295913) (← links)
• 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)
• 40 years of FDE: an introductory overview (Q1685563) (← links)
• Four-valued paradefinite logics (Q1685565) (← links)
• Paraconsistent double negations as classical and intuitionistic negations (Q1685568) (← links)
• There is more to negation than modality (Q1749806) (← links)
• An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi (Q2084568) (← links)
• Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation (Q2236504) (← links)
• Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework (Q2418013) (← 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)
• Bilattice Logics and Demi-Negation (Q3305617) (← links)
• Variations on the Collapsing Lemma (Q3305667) (← links)
• Connexive logics. An overview and current trends (Q3387885) (← links)
• ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION (Q4557169) (← links)
• Defining LFIs and LFUs in extensions of infectious logics (Q4586167) (← links)
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
• Four-Valued Logics BD and DM4: Expansions (Q4608553) (← links)
• Disjoint Logics (Q5013619) (← links)
• О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE (Q5059699) (← links)
• О выразительных возможностях отдельных расширений четырехзначной логики Белнапа (Q5061420) (← links)
• A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS (Q5107533) (← links)
• From Paraconsistent Logic to Dialetheic Logic (Q5213760) (← links)
• IMPROVING STRONG NEGATION (Q6051428) (← links)
• A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable (Q6098217) (← links)
• Connexive negation (Q6127198) (← links)