Categorical abstract algebraic logic: meet-combination of logical systems

DOI10.1155/2013/126347zbMATH Open1272.03166OpenAlexW1972402758WikidataQ59015223 ScholiaQ59015223MaRDI QIDQ355641FDOQ355641

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

Recommendations

• scientific article; zbMATH DE number 6404009
• On categorial combination of logics
• On meet-combination of logics
• Fibring of logics as a categorial construction
• scientific article; zbMATH DE number 1140670

zbMATH Keywords

algebraic systemcategorical abstract algebraic logiccategory of signatureslogical systemmatrix semanticsmatrix systemproduct logical system

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• A survey of abstract algebraic logic
• Algebraizable logics
• Protoalgebraic logics
• 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
• Title not available (Why is that?)
• Fibring of logics as a categorial construction
• Title not available (Why is that?)
• Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
• On meet-combination of logics
• Malinowski modalization, modalization through fibring and the Leibniz hierarchy
• Fibring in the Leibniz Hierarchy

Cited In (4)

• Structuring the universe of universal logic
• Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems
• Categorical abstract algebraic logic: The largest theory system included in a theory family
• Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems

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

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