Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic

DOI10.1007/978-3-319-74772-9_2MaRDI QIDQ4586412zbMATH OpenOpenAlexFDO

Authors Hugo Albuquerque, Josep Maria Font, Ramon Jansana, Tommaso Moraschini

Publication date 13 September 2018

Published in Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-74772-9_2

zbMATH Keywords

abstract algebraic logicassertional logicsFrege hierarchyFregean logicsfull generalized modelsLeibniz hierarchytruth-equational logicsunital matrices

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Abstract algebraic logic (03G27)

Recommendations

• A computational glimpse at the Leibniz and Frege hierarchies
• Characterizing equivalential and algebraizable logics by the Leibniz operator
• Logics of varieties, logics of semilattices and conjunction
• Implicational (semilinear) logics. I: A new hierarchy
• scientific article; zbMATH DE number 465608

Cites work

• A survey of abstract algebraic logic
• Abstract algebraic logic. An introductory textbook
• An algebraic approach to non-classical logics
• Belnap's Four-Valued Logic and De Morgan Lattices
• Beyond Rasiowa's algebraic approach to non-classical logics
• Canonical extensions for congruential logics with the deduction theorem
• Compatibility operators in abstract algebraic logic
• Cylindric algebras. Part II
• Equivalential logics. I
• Fregean logics
• scientific article; zbMATH DE number 440121 (Why is no real title available?)
• scientific article; zbMATH DE number 3677803 (Why is no real title available?)
• scientific article; zbMATH DE number 67040 (Why is no real title available?)
• scientific article; zbMATH DE number 139647 (Why is no real title available?)
• scientific article; zbMATH DE number 475183 (Why is no real title available?)
• scientific article; zbMATH DE number 2070193 (Why is no real title available?)
• scientific article; zbMATH DE number 2068678 (Why is no real title available?)
• scientific article; zbMATH DE number 945663 (Why is no real title available?)
• scientific article; zbMATH DE number 5235521 (Why is no real title available?)
• Logics preserving degrees of truth from varieties of residuated lattices
• On reduced matrices
• On the closure properties of the class of full G-models of a deductive system
• Protoalgebraic logics
• Residuated lattices. An algebraic glimpse at substructural logics
• Speaking about transitive frames in propositional languages
• The Suszko operator. I
• Universal algebra. Fundamentals and selected topics

Cited in

(15)

• The strong version of a sentential logic
• An algebraic view of super-Belnap logics
• On the complexity of the Leibniz hierarchy
• A new hierarchy of infinitary logics in abstract algebraic logic
• Abstract logics, logic maps, and logic homomorphisms
• A study of truth predicates in matrix semantics
• scientific article; zbMATH DE number 754436 (Why is no real title available?)
• THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE
• ON EQUATIONAL COMPLETENESS THEOREMS
• THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY
• Abstract algebraic logic. An introductory chapter
• Assertional logics and the frege hierarchy
• Expanding the Leibniz hierarchy
• An infinite family of finite-valued paraconsistent algebraizable logics
• Implicational (semilinear) logics. I: A new hierarchy

This page was built for publication: Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic

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