Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems
From MaRDI portal
Publication:3525204
DOI10.1080/00927870802110904zbMATH Open1161.03037OpenAlexW2165995254MaRDI QIDQ3525204FDOQ3525204
Publication date: 11 September 2008
Published in: Communications in Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00927870802110904
quasivarietiessubdirect product\(\kappa \)-filtered direct product\(\kappa \)-filtered intersectionLyndon classesunion of directed systemsupward \(\kappa \)-directed poset
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- The structure of the lattices of quasivarieties
- On elementary equivalence for equality-free logic
- Equivalential logics. I
- Some theorems on structural consequence operations
- Definability of Leibniz equality
- Some characterization theorems for infinitary universal Horn logic without equality
- Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity
- Categorical abstract algebraic logic: models of \(\pi\)-institutions
- Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems
- Characterizing classes defined with equality
- On definability of the equality in classes of algebras with an equivalence relation
- Subdirect representation theory for classes without equality
- Algebraic Characterizations for Universal Fragments of Logic
- Freeness in classes without equality
- Equality-free logic: the method of diagrams and preservation theorems
- Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems
- Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas
Cited In (4)
This page was built for publication: Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3525204)
