Categorical Abstract Algebraic Logic: Equivalence of Closure Systems

Thumbnail Image
Date
2010-01-27
Authors
Voutsadakis, George
Major Professor
Advisor
Committee Member
Journal Title
Journal ISSN
Volume Title
Publisher
Authors
Research Projects
Organizational Units
Organizational Unit
Journal Issue
Is Version Of
Versions
Series
Department
Computer Science
Abstract

In their famous ``Memoirs" monograph, Blok and Pigozzi defined algebraizable deductive systems as those whose consequence relation is equivalent to the algebraic consequence relation associated with a quasivariety of universal algebras. In characterizing this property, they showed that it is equivalent with the existence of an isomorphism between the lattices of theories of the two consequence relations that commutes with inverse substitutions. Thus emerged the prototypical and paradigmatic result relating an equivalence between two consequence relations established by means of syntactic translations and the isomorphism between corresponding lattices of theories. This result was subsequently generalized in various directions. Blok and Pigozzi themselves extended it to cover equivalences between \(k\)-deductive systems. Rebagliato and Verd\'{u} and, later, also Pynko and Raftery, considered equivalences between consequence relations on associative sequents. The author showed that it holds for equivalences between two term \(\pi\)-institutions. Blok and J\'{o}nsson considered equivalences between structural closure operations on regular \(M\)-sets. Gil-F\'{e}rez lifted the author's results to the case of multi-term \(\pi\)-institutions. Finally, Galatos and Tsinakis considered the case of equivalences between closure operators on \({\bf A}\)-modules and provided an exact characterization of those that are induced by syntactic translations. In this paper, we contribute to this line of research by further abstracting the results of Galatos and Tsinakis to the case of consequence systems on \({\bf Sign}\)-module systems, which are set-valued functors \(\SEN:{\bf Sign}\ra{\bf Set}\) on complete residuated categories \({\bf Sign}\).

Comments
Description
Keywords
Citation
DOI
Source
Subject Categories
Copyright
Collections