The following pages link to (Q4918415):
Displaying 17 items.
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics (Q744990) (← links)
- An algebraic view of super-Belnap logics (Q1685564) (← links)
- First-degree entailment and its relatives (Q1685573) (← links)
- Bitopology and four-valued logic (Q1744388) (← links)
- Four-valued logics of truth, nonfalsity, exact truth, and material equivalence (Q1981990) (← links)
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins (Q2281312) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- Bivalent logics (Q2874886) (← links)
- An Invitation to New Essays on Belnap-Dunn Logic (Q3305604) (← links)
- First-Degree Entailment and Structural Reasoning (Q3305621) (← links)
- Bipolarity in bilattice logics (Q3537542) (← links)
- An infinity of super-Belnap logics (Q4583174) (← links)
- Exactly true and non-falsity logics meeting infectious ones (Q4995617) (← links)
- On Gluts in Mathematics and Science (Q5213758) (← links)
- THE LATTICE OF SUPER-BELNAP LOGICS (Q5880424) (← links)
- The value of the one value: \textit{exactly true logic} revisited (Q6054063) (← links)
- Knot is not that nasty (but it is hardier than tonk) (Q6067102) (← links)
