Pages that link to "Item:Q3958442"
From MaRDI portal
The following pages link to Compactness, interpolation and Friedman's third problem (Q3958442):
Displayed 6 items.
- Karp's interpolation theorem for some classes of infinitary languages (Q914662) (← links)
- Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116) (← links)
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus (Q1079157) (← links)
- Geometry of Robinson consistency in Łukasiewicz logic (Q2370369) (← links)
- Duality Between Logics and Equivalence Relations (Q3960670) (← links)
- A lower bound for the complexity of Craig's interpolants in sentential logic (Q4749821) (← links)