Pages that link to "Item:Q355641"
From MaRDI portal
The following pages link to Categorical abstract algebraic logic: meet-combination of logical systems (Q355641):
Displaying 5 items.
- Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems (Q816651) (← links)
- Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems (Q854961) (← links)
- Structuring the universe of universal logic (Q2470759) (← links)
- On meet-combination of logics (Q4902315) (← links)
- Categorical abstract algebraic logic: The largest theory system included in a theory family (Q5485402) (← links)