The following pages link to (Q5173792):
Displaying 7 items.
- Categorical abstract algebraic logic: meet-combination of logical systems (Q355641) (← links)
- Categorical abstract algebraic logic: referential algebraic semantics (Q368473) (← links)
- Categorical abstract algebraic logic: behavioral \(\pi\)-institutions (Q456973) (← links)
- Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions (Q2354626) (← links)
- Categorical abstract algebraic logic: Partially ordered algebraic systems (Q2502179) (← links)
- Categorial fibring of logics with terms and binding operators (Q2782494) (← links)
- Secrecy Logic: Protoalgebraic S-Secrecy Logics (Q5412170) (← links)