Pages that link to "Item:Q495842"
From MaRDI portal
The following pages link to Classical negation and expansions of Belnap-Dunn logic (Q495842):
Displaying 41 items.
- Reductio ad contradictionem: an algebraic perspective (Q295913) (← links)
- A non-deterministic view on non-classical negations (Q813081) (← 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)
- An extended first-order Belnap-Dunn logic with classical negation (Q1679746) (← 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)
- From bi-facial truth to bi-facial proofs (Q2350970) (← 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)
- Modal logics with Belnapian truth values (Q2901198) (← 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)
- Non-classical operations hidden in classical logic (Q3643318) (← 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)
- (Q4636036) (← links)
- (Q4870572) (← links)
- (Q4982676) (← links)
- Disjoint Logics (Q5013619) (← links)
- О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE (Q5059699) (← links)
- О выразительных возможностях отдельных расширений четырехзначной логики Белнапа (Q5061420) (← links)
- (Q5100007) (← links)
- A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS (Q5107533) (← links)
- An expansion of first-order Belnap-Dunn logic (Q5172135) (← 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)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023 (Q6613397) (← links)
- A cartography of LFIs and truth (Q6623945) (← links)
- Non-deterministic logic of generalized classical truth values (Q6623947) (← links)
- Categoricity problem for LP and K3 (Q6642825) (← links)
