Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems
From MaRDI portal
Publication:854961
DOI10.1007/s10485-006-9030-yzbMath1111.03057OpenAlexW2023595336WikidataQ123285780 ScholiaQ123285780MaRDI QIDQ854961
Publication date: 20 December 2006
Published in: Applied Categorical Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10485-006-9030-y
Categorical logic, topoi (03G30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Categorical abstract algebraic logic: meet-combination of logical systems
- Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems
- Categorical abstract algebraic logic: models of \(\pi\)-institutions
- Some theorems on structural consequence operations
- On elementary equivalence for equality-free logic
- Characterizing classes defined with equality
- A survey of abstract algebraic logic
- On definability of the equality in classes of algebras with an equivalence relation
- Subdirect representation theory for classes without equality
- Definability of Leibniz equality
- Categorical abstract algebraic logic: Partially ordered algebraic systems
- Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity
- Some characterization theorems for infinitary universal Horn logic without equality
- Algebraizable logics
- Algebraic Characterizations for Universal Fragments of Logic
- Model Theory
- Freeness in classes without equality
- Equality-free logic: the method of diagrams and preservation theorems
This page was built for publication: Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems
