Categorical abstract algebraic logic: The largest theory system included in a theory family (Q5485402)
From MaRDI portal
scientific article; zbMATH DE number 5050668
Language | Label | Description | Also known as |
---|---|---|---|
English | Categorical abstract algebraic logic: The largest theory system included in a theory family |
scientific article; zbMATH DE number 5050668 |
Statements
Categorical abstract algebraic logic: The largest theory system included in a theory family (English)
0 references
30 August 2006
0 references
algebraic logic
0 references
equivalent deductive systems
0 references
equivalent institutions
0 references
algebraizable logics
0 references
algebraizable institutions
0 references
lattice of theories
0 references
Leibniz operator
0 references
Leibniz theory systems
0 references
protoalgebraic logics
0 references
protoalgebraicity
0 references
prealgebraicity
0 references
0 references