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

MaRDI QIDQ5039201zbMATH OpenFDO

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Recommendations

• Categorical abstract algebraic logic: models of -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

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)