Pages that link to "Item:Q497416"
From MaRDI portal
The following pages link to Generalizing functional completeness in Belnap-Dunn logic (Q497416):
Displaying 26 items.
- On all strong Kleene generalizations of classical logic (Q295922) (← links)
- A Gentzen calculus for nothing but the truth (Q312499) (← links)
- 40 years of FDE: an introductory overview (Q1685563) (← links)
- Interpolation methods for Dunn logics and their extensions (Q1685574) (← links)
- A deterministic weakening of Belnap-Dunn logic (Q2422310) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- Bilattice Logics and Demi-Negation (Q3305617) (← links)
- Connexive logics. An overview and current trends (Q3387885) (← links)
- Humble Connexivity (Q3387891) (← links)
- On Definability of Connectives and Modal Logics over FDE (Q3387896) (← links)
- ON CONTRA-CLASSICAL VARIANTS OF NELSON LOGIC N4 AND ITS CLASSICAL EXTENSION (Q4557169) (← links)
- Four-Valued Logics BD and DM4: Expansions (Q4608553) (← links)
- General Criterion for Essential Nonfault Locatability of Logical Functions (Q4721959) (← links)
- О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE (Q5059699) (← links)
- О выразительных возможностях отдельных расширений четырехзначной логики Белнапа (Q5061420) (← links)
- From Paraconsistent Logic to Dialetheic Logic (Q5213760) (← links)
- Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value (Q5231281) (← links)
- From many-valued consequence to many-valued connectives (Q6088601) (← links)
- Connexive negation (Q6127198) (← links)
- A sound and complete tableaux calculus for Reichenbach's quantum mechanics logic (Q6150668) (← links)
- Revisiting Reichenbach's logic (Q6180119) (← links)
- Presumptive Reasoning in a Paraconsistent Setting (Q6199612) (← links)
- Reasoning with belief functions over Belnap-Dunn logic (Q6560993) (← links)
- Connexivity meets Church and Ackermann (Q6562531) (← links)
- Mortensen logics (Q6659908) (← links)
- Cyclic negations and four-valuedness (Q6659910) (← links)