Pages that link to "Item:Q1015493"
From MaRDI portal
The following pages link to On axiomatizing Shramko-Wansing's logic (Q1015493):
Displaying 8 items.
- Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\) (Q253121) (← links)
- Gentzenization of trilattice logics (Q332076) (← links)
- \(\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)
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant (Q1685569) (← links)
- Interpolation in 16-valued trilattice logics (Q1744000) (← links)
- Residuated bilattices (Q1933771) (← links)
