The following pages link to Combining algebraizable logics (Q1815433):
Displaying 7 items.
- A survey on categories of logics and algebraizable logics (Q498003) (← links)
- On the structure of varieties with equationally definable principal congruences. II (Q762523) (← links)
- Coproduct and amalgamation of deductive systems by means of ordered algebras (Q2169140) (← links)
- Topological representation of intuitionistic and distributive abstract logics (Q2399600) (← links)
- (Q4362967) (← links)
- Homotopical Categories of Logics (Q5258961) (← links)
- Algebraization of Hybrid Logic with Binders (Q5459188) (← links)