Pages that link to "Item:Q5262476"
From MaRDI portal
The following pages link to Trilattice logic: an embedding-based approach (Q5262476):
Displaying 7 items.
- Completeness and cut-elimination theorems for trilattice logics (Q639681) (← links)
- Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion (Q830398) (← links)
- Modal multilattice logic (Q1682294) (← links)
- Paraconsistent double negations as classical and intuitionistic negations (Q1685568) (← links)
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant (Q1685569) (← links)
- SEQUENT CALCULI FOR SOME TRILATTICE LOGICS (Q3395332) (← links)
- (Q5144357) (← links)