Connecting abstract logics and adjunctions in the theory of ()-institutions: some theoretical remarks and applications

MaRDI QIDQ5039201FDOQ5039201

Authors: Gabriel Bittencourt Rios, Daniel de Almeida Souza, Darllan Conceição Pinto, Hugo L. Mariano 

Publication date: 12 October 2022

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

Recommendations

• Categorical abstract algebraic logic: models of \(\pi\)-institutions
• Categorical astract algebraic logic: algebraic semantics for \(\pi\)-institutions
• Categorical abstract algebraic logic referential \(\pi\)-institutions
• scientific article; zbMATH DE number 1086717
• Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based  -Institutions

zbMATH Keywords

adjunctionsabstract logics(\(\pi\))-institutions

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Category theory; homological algebra (18-XX)

Cited In (1)

• Connecting abstract logics and adjunctions in the theory of ($\pi$-)institutions: some theoretical remarks and applications

This page was built for publication: Connecting abstract logics and adjunctions in the theory of (\(\pi\))-institutions: some theoretical remarks and applications

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