Algebraizable logics and a functorial encoding of its morphisms

DOI10.1093/JIGPAL/JZX014zbMATH Open1405.03104arXiv1410.8083OpenAlexW2963026401MaRDI QIDQ4644589FDOQ4644589

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)

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}).

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

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

zbMATH Keywords

categoriesalgebraizable logics

Mathematics Subject Classification ID

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

Cited In (5)

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

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)