Pages that link to "Item:Q1959329"
From MaRDI portal
The following pages link to The power of Belnap: sequent systems for \(SIXTEEN_{3 }\) (Q1959329):
Displaying 8 items.
- Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\) (Q253121) (← links)
- Gentzenization of trilattice logics (Q332076) (← links)
- Generalizing functional completeness in Belnap-Dunn logic (Q497416) (← links)
- Completeness and cut-elimination theorems for trilattice logics (Q639681) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- A non-inferentialist, anti-realistic conception of logical truth and falsity (Q2339010) (← links)
- SEQUENT CALCULI FOR SOME TRILATTICE LOGICS (Q3395332) (← links)
- Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic (Q4978553) (← links)
