Pages that link to "Item:Q1216293"
From MaRDI portal
The following pages link to On a generalized cylindrical algebra and intuitionistic logic (Q1216293):
Displaying 5 items.
- A representation theorem for polyadic Heyting algebras (Q585199) (← links)
- The abstract variable-binding calculus (Q1896759) (← links)
- About the equivalent theories of algebras with relations (Q2264658) (← links)
- On logical systems with implications and theories of algebras (Q2264664) (← links)
- Quantum monadic algebras (Q5876988) (← links)