Pages that link to "Item:Q355641"

The following pages link to Categorical abstract algebraic logic: meet-combination of logical systems (Q355641):

Displayed 2 items.

• Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems (Q816651) ‎ (← links)
• Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems (Q854961) ‎ (← links)