No label defined (Q5441065)
From MaRDI portal
scientific article; zbMATH DE number 5233153
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 5233153 |
Statements
7 February 2008
0 references
equivalent deductive systems
0 references
protoalgebraic logics
0 references
equivalential logics
0 references
algebraizable logics
0 references
weakly algebraizable logics, Leibniz operator
0 references
Tarski operator
0 references
Leibniz theories
0 references
equivalent institutions
0 references