Pages that link to "Item:Q2957959"
From MaRDI portal
The following pages link to Faulty Belnap computers and subsystems of FDE (Q2957959):
Displaying 14 items.
- Angellic content (Q288248) (← links)
- Correia semantics revisited (Q300562) (← links)
- A simple sequent calculus for Angell's logic of analytic containment (Q1685482) (← links)
- Rivals to Belnap-Dunn logic on interlaced trilattices (Q1685566) (← links)
- Containment logics: algebraic completeness and axiomatization (Q2062211) (← links)
- Tableaux and restricted quantification for systems related to weak Kleene logic (Q2142060) (← links)
- Logics of synonymy (Q2194116) (← links)
- A simple logical matrix and sequent calculus for Parry's logic of analytic implication (Q2243548) (← links)
- Truthmakers and normative conflicts (Q2304624) (← links)
- Defining LFIs and LFUs in extensions of infectious logics (Q4586167) (← links)
- Exactly true and non-falsity logics meeting infectious ones (Q4995617) (← links)
- Sextus Empiricus' Fourth Conditional and Containment Logic (Q5208234) (← links)
- An Epistemic Interpretation of Paraconsistent Weak Kleene Logic (Q5215506) (← links)
- Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC (Q6107288) (← links)
