The following pages link to Intuitionistic Trilattice Logics (Q3069727):
Displaying 4 items.
- Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\) (Q253121) (← links)
- Completeness and cut-elimination theorems for trilattice logics (Q639681) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- SEQUENT CALCULI FOR SOME TRILATTICE LOGICS (Q3395332) (← links)
