Categorical abstract algebraic logic referential -institutions

MaRDI QIDQ5501724zbMATH OpenFDO

Authors George Voutsadakis

Publication date 14 August 2015

Full work available at URL http://www.filozof.uni.lodz.pl/bulletin/pdf/44_12_5.pdf

zbMATH Keywords

\(\pi\)-institutionscategorical abstract algebraic logicreferential logics

Mathematics Subject Classification ID

Abstract algebraic logic (03G27)

Recommendations

• Categorical abstract algebraic logic weakly referential -institutions
• Categorical abstract algebraic logic: referential algebraic semantics
• Categorical abstract algebraic logic: syntactically algebraizable \(\pi\)-institutions
• Categorical abstract algebraic logic: pseudo-referential matrix system semantics
• Categorical astract algebraic logic: algebraic semantics for \(\pi\)-institutions

Cited in

(11)

• A logic is referential iff it is selfextensional
• Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions
• Categorical abstract algebraic logic weakly referential -institutions
• Categorical abstract algebraic logic: referential algebraic semantics
• Categorical abstract algebraic logic: pseudo-referential matrix system semantics
• Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
• Categorical abstract algebraic logic: Wójcicki's conjecture and Malinowski's theorem
• Connecting abstract logics and adjunctions in the theory of ()-institutions: some theoretical remarks and applications
• scientific article; zbMATH DE number 5233153 (Why is no real title available?)
• Referential semantics: duality and applications
• Categorical abstract algebraic logic: Gentzenπ -institutions and the deduction-detachment property

This page was built for publication: Categorical abstract algebraic logic referential \(\pi\)-institutions

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