Categorical abstract algebraic logic: meet-combination of logical systems

DOI10.1155/2013/126347zbMath1272.03166WikidataQ59015223 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 system; algebraic system; categorical abstract algebraic logic; category of signatures; matrix semantics; matrix system; product logical system

Mathematics Subject Classification ID

03G30: Categorical logic, topoi

03G27: Abstract algebraic logic

Related Items

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

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