Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence (Q5505141)
From MaRDI portal
scientific article; zbMATH DE number 5497290
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence |
scientific article; zbMATH DE number 5497290 |
Statements
Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence (English)
0 references
23 January 2009
0 references
structurality
0 references
transferability of rules
0 references
correspondence
0 references
\(\pi\)-institution
0 references
protoalgebraicity
0 references
