Categorical abstract algebraic logic: Partially ordered algebraic systems
From MaRDI portal
Publication:2502179
DOI10.1007/s10485-005-9006-3zbMath1106.03058OpenAlexW1965643735MaRDI QIDQ2502179
Publication date: 12 September 2006
Published in: Applied Categorical Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10485-005-9006-3
Specification and verification (program logics, model checking, etc.) (68Q60) Categorical logic, topoi (03G30) Ordered structures (06F99) Foundations, relations to logic and deductive systems (18A15)
Related Items (4)
Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems ⋮ Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties ⋮ Categorical Abstract Algebraic Logic: Algebraic Semantics for (\documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf{\pi }$\end{document})‐Institutions ⋮ Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems
- Categorical abstract algebraic logic: models of \(\pi\)-institutions
- Varieties of ordered algebras
- Characterizing classes defined with equality
- A survey of abstract algebraic logic
- Subdirect representation theory for classes without equality
- Categorical abstract algebraic logic: more on protoalgebraicity
- Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity
- Some characterization theorems for infinitary universal Horn logic without equality
- Algebraizable logics
- Equality-free logic: the method of diagrams and preservation theorems
- Categorical abstract algebraic logic: The largest theory system included in a theory family
- Protoalgebraic logics
This page was built for publication: Categorical abstract algebraic logic: Partially ordered algebraic systems
