5 research outputs found
An order-theoretic analysis of interpretations among propositional deductive systems
In this paper we study interpretations and equivalences of propositional
deductive systems by using a quantale-theoretic approach introduced by Galatos
and Tsinakis. Our aim is to provide a general order-theoretic framework which
is able to describe and characterize both strong and weak forms of
interpretations among propositional deductive systems also in the cases where
the systems have different underlying languages
An Abstract Approach to Consequence Relations
We generalise the Blok-J\'onsson account of structural consequence relations,
later developed by Galatos, Tsinakis and other authors, in such a way as to
naturally accommodate multiset consequence. While Blok and J\'onsson admit, in
place of sheer formulas, a wider range of syntactic units to be manipulated in
deductions (including sequents or equations), these objects are invariably
aggregated via set-theoretical union. Our approach is more general in that
non-idempotent forms of premiss and conclusion aggregation, including multiset
sum and fuzzy set union, are considered. In their abstract form, thus,
deductive relations are defined as additional compatible preorderings over
certain partially ordered monoids. We investigate these relations using
categorical methods, and provide analogues of the main results obtained in the
general theory of consequence relations. Then we focus on the driving example
of multiset deductive relations, providing variations of the methods of matrix
semantics and Hilbert systems in Abstract Algebraic Logic
Categorical Abstract Algebraic Logic: Equivalence of Closure Systems
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 -deductive systems. Rebagliato and Verd\\u27{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 -institutions. Blok and J\\u27{o}nsson considered equivalences between structural closure operations on regular -sets. Gil-F\\u27{e}rez lifted the author\u27s results to the case of multi-term -institutions. Finally, Galatos and Tsinakis considered the case of equivalences between closure operators on -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 -module systems, which are set-valued functors \SEN:{\bf Sign}\ra{\bf Set} on complete residuated categories
Quantale Modules, with Applications to Logic and Image Processing
We propose a categorical and algebraic study of quantale modules. The results
and constructions presented are also applied to abstract algebraic logic and to
image processing tasks.Comment: 150 pages, 17 figures, 3 tables, Doctoral dissertation, Univ Salern