Categorical abstract algebraic logic: meet-combination of logical systems

DOI10.1155/2013/126347zbMath1272.03166OpenAlexW1972402758WikidataQ59015223 ScholiaQ59015223MaRDI QIDQ355641

George Voutsadakis

Publication date: 25 July 2013

Published in: Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1155/2013/126347

zbMATH Keywords

logical systemalgebraic systemcategorical abstract algebraic logiccategory of signaturesmatrix semanticsmatrix systemproduct logical system

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Abstract algebraic logic (03G27)

Related Items (2)

Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems ⋮ Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
• A survey of abstract algebraic logic
• Categorical abstract algebraic logic: Equivalent institutions
• Categorical abstract algebraic logic: Algebraizable institutions
• On combined connectives
• Fibring: completeness preservation
• Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
• Algebraizable logics
• Fibring of logics as a categorial construction
• On meet-combination of logics
• Malinowski modalization, modalization through fibring and the Leibniz hierarchy
• Fibring in the Leibniz Hierarchy
• Protoalgebraic logics

This page was built for publication: Categorical abstract algebraic logic: meet-combination of logical systems