Pages that link to "Item:Q3395332"
From MaRDI portal
The following pages link to SEQUENT CALCULI FOR SOME TRILATTICE LOGICS (Q3395332):
Displayed 6 items.
- Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\) (Q253121) (← links)
- Gentzenization of trilattice logics (Q332076) (← links)
- Completeness and cut-elimination theorems for trilattice logics (Q639681) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- The power of Belnap: sequent systems for \(SIXTEEN_{3 }\) (Q1959329) (← links)
- A non-inferentialist, anti-realistic conception of logical truth and falsity (Q2339010) (← links)