Pages that link to "Item:Q911578"
From MaRDI portal
The following pages link to Interpolation theorem in many-valued logics with designated values (Q911578):
Displaying 4 items.
- Interpolation methods for Dunn logics and their extensions (Q1685574) (← links)
- Interpolation in 16-valued trilattice logics (Q1744000) (← links)
- A note on freedom from detachment in the logic of paradox (Q1934950) (← links)
- Interpolation theorem of Hao Wang's partial predicate calculus (Q2751822) (← links)