Categorical abstract algebraic logic: referential algebraic semantics (Q368473): Difference between revisions

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.