On the Algebraization of Many-Sorted Logics

DOI10.1007/978-3-540-71998-4_2zbMath1196.03084OpenAlexW1799934009MaRDI QIDQ3591067

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)

Related Items

Categorical abstract algebraic logic: behavioral \(\pi\)-institutions ⋮ Behavioral algebraization of logics