Categorical abstract algebraic logic: referential algebraic semantics (Q368473)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6210412
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Categorical abstract algebraic logic: referential algebraic semantics |
scientific article; zbMATH DE number 6210412 |
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
0.8999484181404114
0 references
0.8690728545188904
0 references
0.8646212220191956
0 references
0.8424195051193237
0 references
0.8320695757865906
0 references
