The following pages link to Intuitionistic Trilattice Logics (Q3069727):
Displaying 11 items.
- Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\) (Q253121) (← links)
- Gentzenization of trilattice logics (Q332076) (← links)
- Truth-maker semantics for intuitionistic logic (Q484121) (← links)
- Completeness and cut-elimination theorems for trilattice logics (Q639681) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Interpolation in 16-valued trilattice logics (Q1744000) (← links)
- Maximal weakly-intuitionistic logics (Q1896760) (← links)
- The power of Belnap: sequent systems for \(SIXTEEN_{3 }\) (Q1959329) (← links)
- SEQUENT CALCULI FOR SOME TRILATTICE LOGICS (Q3395332) (← links)
- Trilattice logic: an embedding-based approach (Q5262476) (← links)
- (Q5441555) (← links)