Pages that link to "Item:Q1422453"
From MaRDI portal
The following pages link to Categorical abstract algebraic logic: Equivalent institutions (Q1422453):
Displayed 10 items.
- Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions (Q308133) (← links)
- Categorical abstract algebraic logic: meet-combination of logical systems (Q355641) (← links)
- Categorical abstract algebraic logic: referential algebraic semantics (Q368473) (← links)
- Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems (Q816651) (← links)
- Categorical abstract algebraic logic: models of \(\pi\)-institutions (Q817965) (← links)
- Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms (Q1778066) (← links)
- Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions (Q2354626) (← links)
- Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity (Q2642521) (← links)
- Correspondences between gentzen and hilbert systems (Q3410681) (← links)
- Abstract algebraic logic. An introductory chapter (Q6120603) (← links)