Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas (Q3437039)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5152283
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas |
scientific article; zbMATH DE number 5152283 |
Statements
Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas (English)
0 references
11 May 2007
0 references
structure systems
0 references
congruence systems
0 references
Leibniz congruence systems
0 references
diagram lemma
0 references
reduction operator lemma
0 references
0 references
0.9370346
0 references
0.93298304
0 references
0.93060994
0 references
0.9298622
0 references
0.9273174
0 references
0.92432773
0 references
0.9218612
0 references
0.9217421
0 references
