Pages that link to "Item:Q2350215"
From MaRDI portal
The following pages link to The logic of generalized truth values and the logic of bilattices (Q2350215):
Displaying 14 items.
- Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\) (Q253121) (← links)
- Natural dualities through product representations: bilattices and beyond (Q295925) (← links)
- Gentzenization of trilattice logics (Q332076) (← links)
- Routley star and hyperintensionality (Q830371) (← links)
- Compositional meaning in logic (Q1682292) (← links)
- Four-valued paradefinite logics (Q1685565) (← links)
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant (Q1685569) (← links)
- Interpolation in 16-valued trilattice logics (Q1744000) (← links)
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins (Q2281312) (← links)
- On Split Negation, Strong Negation, Information, Falsification, and Verification (Q3305426) (← links)
- Truth, Falsehood, Information and Beyond: The American Plan Generalized (Q3305427) (← links)
- SEQUENT CALCULI FOR SOME TRILATTICE LOGICS (Q3395332) (← links)
- Two proofs of the algebraic completeness theorem for multilattice logic (Q5243396) (← links)
- Conservative translations of four-valued logics in modal logic (Q6067103) (← links)
