Pages that link to "Item:Q5172135"
From MaRDI portal
The following pages link to An expansion of first-order Belnap-Dunn logic (Q5172135):
Displaying 18 items.
- Classical negation and expansions of Belnap-Dunn logic (Q495842) (← links)
- Generalizing functional completeness in Belnap-Dunn logic (Q497416) (← links)
- De Morgan clones and four-valued logics (Q829759) (← links)
- An extended first-order Belnap-Dunn logic with classical negation (Q1679746) (← links)
- 40 years of FDE: an introductory overview (Q1685563) (← links)
- Disentangling \textsf{FDE}-based paraconsistent modal logics (Q1685570) (← links)
- Valuation semantics for first-order logics of evidence and truth (Q2079711) (← links)
- The normal and self-extensional extension of Dunn-Belnap logic (Q2198314) (← links)
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation (Q2236504) (← links)
- Countably many weakenings of Belnap-Dunn logic (Q2307298) (← links)
- Gentzen-type sequent calculi for extended Belnap-Dunn logics with classical negation: a general framework (Q2418013) (← links)
- A deterministic weakening of Belnap-Dunn logic (Q2422310) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- Variations on the Collapsing Lemma (Q3305667) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value (Q5231281) (← links)
- Presumptive Reasoning in a Paraconsistent Setting (Q6199612) (← links)
- On the quantified version of the Belnap-Dunn modal logic (Q6582282) (← links)
