Categorical abstract algebraic logic: referential algebraic semantics (Q368473)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Categorical abstract algebraic logic: referential algebraic semantics |
scientific article |
Statements
Categorical abstract algebraic logic: referential algebraic semantics (English)
0 references
23 September 2013
0 references
In this paper the author introduces referential algebraic systems and congruential atlas systems, which generalize referential algebras and congruential atlases (of Wójcicki, Jansana, Palmigiano), respectively. This enables him to formulate an analog of Wójcicki's Theorem for logics formalized as \(\pi\)-institutions. Moreover, the results of Jansana and Palmigiano are generalized to obtain a duality between congruential atlas systems and referential algebraic systems over a fixed categorical algebraic signature.
0 references
abstract algebraic logic
0 references
referential algebraic semantics
0 references
Wójcicki's theorem
0 references
generalized matrix model
0 references
algebraic semantics
0 references
duality
0 references
\(\pi \)-institution
0 references
selfextensional logic
0 references
fully selfextensional logic
0 references
congruential atlas systems
0 references
