Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems
type: Item
instance of: scholarly article
title: Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems
zbMATH Open document ID: 1161.03037
DOI: 10.1080/00927870802110904
author: George Voutsadakis
published in: Communications in Algebra
publication date: 2008-09-11T00:00:00Z
Mathematics Subject Classification ID: 03G30
zbMATH DE Number: 5342734
zbMATH Keywords: \(\kappa \)-filtered direct product
zbMATH Keywords: \(\kappa \)-filtered intersection
zbMATH Keywords: Lyndon classes
zbMATH Keywords: quasivarieties
zbMATH Keywords: subdirect product
zbMATH Keywords: upward \(\kappa \)-directed poset
zbMATH Keywords: union of directed systems
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.1080/00927870802110904
OpenAlex ID: W2165995254
cites work: Q3997112
cites work: Some theorems on structural consequence operations
cites work: On elementary equivalence for equality-free logic
cites work: Equivalential logics. I
cites work: Equality-free logic: the method of diagrams and preservation theorems
cites work: On definability of the equality in classes of algebras with an equivalence relation
cites work: Some characterization theorems for infinitary universal Horn logic without equality
cites work: Characterizing classes defined with equality
cites work: Subdirect representation theory for classes without equality
cites work: Algebraic Characterizations for Universal Fragments of Logic
cites work: Freeness in classes without equality
cites work: Definability of Leibniz equality
cites work: Q4715441
cites work: The structure of the lattices of quasivarieties
cites work: Categorical abstract algebraic logic: models of \(\pi\)-institutions
cites work: Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems
cites work: Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems
cites work: Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity
cites work: Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas
description: scientific article