General theory of the commutator for deductive systems. I: Basic facts

DOI10.1007/s11225-006-8303-7zbMath1104.03060OpenAlexW2012374091MaRDI QIDQ2433100

Janusz Czelakowski

Publication date: 27 October 2006

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-006-8303-7

zbMATH Keywords

abstract algebraic logicdeductive systemcommutator formulacentralizator

Mathematics Subject Classification ID

Algebraic logic (03G99) Abstract deductive systems (03B22)

Related Items (1)

Triangular irreducibility of congruences in quasivarieties

Cites Work

• Ideals in universal algebras
• A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity
• Equivalential logics. I
• The parameterized local deduction theorem for quasivarieties of algebras and its application
• Geometrical methods in congruence modular algebras
• Commutator Theory for Relatively Modular Quasivarieties
• A Characterization of Modularity for Congruence Lattices of Algebras*
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: General theory of the commutator for deductive systems. I: Basic facts