On the Algebraization of Many-Sorted Logics

DOI10.1007/978-3-540-71998-4_2MaRDI QIDQ3591067zbMATH OpenOpenAlexFDO

Authors Carlos Caleiro, Ricardo Gonçalves

Publication date 10 September 2007

Published in Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71998-4_2

Mathematics Subject Classification ID

Classical first-order logic (03B10) Paraconsistent logics (03B53) Abstract algebraic logic (03G27)

Recommendations

• Behavioral algebraization of logics
• Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms
• First-order theories as many-sorted algebras
• Investigations in many-sorted quantor logic
• Multi-sorted logic and logical geometry: some problems.

Cited in

(12)

• Behavioral algebraization of logics
• scientific article; zbMATH DE number 3887106 (Why is no real title available?)
• scientific article; zbMATH DE number 5005365 (Why is no real title available?)
• Abstract valuation semantics
• scientific article; zbMATH DE number 1162796 (Why is no real title available?)
• Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
• A mereotopology based on sequent algebras
• Logics in Artificial Intelligence
• Frontiers of Combining Systems
• Investigations in many-sorted quantor logic
• First-order theories as many-sorted algebras
• Multi-sorted logic and logical geometry: some problems.

This page was built for publication: On the Algebraization of Many-Sorted Logics

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