The following pages link to (Q3086715):
Displaying 16 items.
- Disentangling contradiction from contrariety via incompatibility (Q346755) (← links)
- Metalogical decorations of logical diagrams (Q346763) (← links)
- Generalizing functional completeness in Belnap-Dunn logic (Q497416) (← 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)
- Truth and the liar in De Morgan-valued models (Q1347605) (← links)
- Four-valued paradefinite logics (Q1685565) (← links)
- The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\) (Q1712572) (← links)
- Modal extension of ideal paraconsistent four-valued logic and its subsystem (Q2004955) (← links)
- Embedding friendly first-order paradefinite and connexive logics (Q2079706) (← links)
- Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning (Q2155493) (← links)
- Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic (Q2186695) (← links)
- Book review of: Yaroslav Shramko and Heinrich Wansing, Truth and falsehood. An inquiry into generalized logical values (Q2259006) (← links)
- Trivial Dialetheism and the Logic of Paradox (Q2987757) (← links)
- (Q5067981) (← links)
- Rules of explosion and excluded middle: constructing a unified single-succedent Gentzen-style framework for classical, paradefinite, paraconsistent, and paracomplete logics (Q6612000) (← links)
