Pages that link to "Item:Q3960670"
From MaRDI portal
The following pages link to Duality Between Logics and Equivalence Relations (Q3960670):
Displaying 4 items.
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus (Q1079157) (← links)
- Natural limitations of decision procedures for arithmetic with bounded quantifiers (Q3674633) (← links)
- A Simple Construction of Robinson Equivalence Relations (Q3808080) (← links)
- A lower bound for the complexity of Craig's interpolants in sentential logic (Q4749821) (← links)
