The following pages link to da Costa Meets Belnap and Nelson (Q5259662):
Displaying 9 items.
- Generalizing functional completeness in Belnap-Dunn logic (Q497416) (← links)
- 40 years of FDE: an introductory overview (Q1685563) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← 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)
- О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE (Q5059699) (← links)
- О выразительных возможностях отдельных расширений четырехзначной логики Белнапа (Q5061420) (← links)
- From Paraconsistent Logic to Dialetheic Logic (Q5213760) (← links)
- Semantical analysis of weak Kleene logics (Q5742697) (← links)
