Pages that link to "Item:Q3395332"
From MaRDI portal
The following pages link to SEQUENT CALCULI FOR SOME TRILATTICE LOGICS (Q3395332):
Displayed 4 items.
- 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)