Pages that link to "Item:Q1744000"
From MaRDI portal
The following pages link to Interpolation in 16-valued trilattice logics (Q1744000):
Displaying 6 items.
- Interpolation theorem in many-valued logics with designated values (Q911578) (← links)
- On axiomatizing Shramko-Wansing's logic (Q1015493) (← links)
- Interpolation methods for Dunn logics and their extensions (Q1685574) (← links)
- SEQUENT CALCULI FOR SOME TRILATTICE LOGICS (Q3395332) (← links)
- Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic (Q4978553) (← links)
- Trilattice logic: an embedding-based approach (Q5262476) (← links)