Algebraizable logics and a functorial encoding of its morphisms

DOI10.1093/JIGPAL/JZX014MaRDI QIDQ4644589zbMATH OpenOpenAlexFDO

Authors Darllan Conceição Pinto, Hugo L. Mariano

Publication date 8 January 2019

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1410.8083

zbMATH Keywords

algebraizable logicscategories

Mathematics Subject Classification ID

Abstract algebraic logic (03G27) Foundations, relations to logic and deductive systems (18A15)

Abstract: The present work presents some results about the categorial relation between logics and its categories of structures. A (propositional, finitary) logic is a pair given by a signature and Tarskian consequence relation on its formula algebra. The logics are the objects in our categories of logics; the morphisms are certain signature morphisms that are translations between logics (cite{AFLM1},cite{AFLM2},cite{AFLM3} cite{FC}). Morphisms between algebraizable logics (cite{BP}) are translations that preserves algebraizing pairs (cite{MaMe}): they can be completely encoded by certain functors defined on the quasi-variety canonically associated to the algebraizable logics. This kind of results will be useful in the development of a categorial approach to the representation theory of general logics (cite{MaPi1}, cite{MaPi2}, cite{AJMP}).

Recommendations

• A survey on categories of logics and algebraizable logics
• Combining algebraizable logics
• Publication:4890398
• scientific article; zbMATH DE number 1302507
• Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms

Cited in

(7)

• Characterizing equivalential and algebraizable logics by the Leibniz operator
• Filter pairs and natural extensions of logics
• A survey on categories of logics and algebraizable logics
• Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic
• Some algebraic problems in the context of functorial semantics of algebraic theories
• Expanding the Leibniz hierarchy
• Congruence filter pairs, equational filter pairs and adjoints

This page was built for publication: Algebraizable logics and a functorial encoding of its morphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4644589)