Pages that link to "Item:Q1015493"
From MaRDI portal
The following pages link to On axiomatizing Shramko-Wansing's logic (Q1015493):
Displayed 6 items.
- \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics (Q454381) (← links)
- Completeness and cut-elimination theorems for trilattice logics (Q639681) (← links)
- Paraconsistent semantics for Pavelka style fuzzy sentential logic (Q983066) (← links)
- Residuated bilattices (Q1933771) (← links)
- The power of Belnap: sequent systems for \(SIXTEEN_{3 }\) (Q1959329) (← links)
- SEQUENT CALCULI FOR SOME TRILATTICE LOGICS (Q3395332) (← links)