Categorical abstract algebraic logic: on admissible equivalence systems (Q2906959)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Categorical abstract algebraic logic: on admissible equivalence systems |
scientific article; zbMATH DE number 6077962
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Categorical abstract algebraic logic: on admissible equivalence systems |
scientific article; zbMATH DE number 6077962 |
Statements
5 September 2012
0 references
abstract algebraic logic
0 references
equivalential logics
0 references
equivalence systems
0 references
admissible rules
0 references
Leibniz operator
0 references
behavioral theorems
0 references
institutions
0 references
Leibniz congruence systems
0 references
admissible closure systems
0 references
admissible equivalence systems
0 references
Categorical abstract algebraic logic: on admissible equivalence systems (English)
0 references
The paper extends the study of Babenyshev and Martins about the relationship between equivalence systems for sentential logics and admissible equivalence systems to the case of the logics formalized abstractly as \(\pi\)-institutions.
0 references
