Pages that link to "Item:Q1906001"

The following pages link to Elementary generation and canonicity for varieties of Boolean algebras with operators (Q1906001):

Displaying 3 items.

• Bare canonicity of representable cylindric and polyadic algebras (Q387126) (← links)
• Axiomatizing hybrid logic using modal logic (Q631084) (← links)
• Monadic bounded algebras (Q708923) (← links)