Beyond Rasiowa's algebraic approach to non-classical logics

DOI10.1007/s11225-006-7196-9zbMath1097.03062OpenAlexW2043676956MaRDI QIDQ2498364

Josep Maria Font

Publication date: 16 August 2006

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-006-7196-9

zbMATH Keywords

surveyabstract algebraic logicalgebraizable logicsGentzen systemsequivalential logicsimplicative logicsLeibniz hierarchyFrege hierarchygeneralized matrices

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Algebraic logic (03G99) History of mathematical logic and foundations (03-03)

Related Items (7)

Triangle algebras: A formal logic approach to interval-valued residuated lattices ⋮ Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic ⋮ The standard completeness of interval-valued monoidal t-norm based logic ⋮ The simplest protoalgebraic logic ⋮ Taking degrees of truth seriously ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS ⋮ Constructive Modalities with Provability Smack

Cites Work

• Fregean logics
• On the infinite-valued Łukasiewicz logic that preserves degrees of truth
• Selfextensional logics with a conjunction
• Reduced products of logical matrices
• Equivalential logics. I
• Algebraic logic for classical conjunction and disjunction
• Lattice-valued representation of the cut-elimination theorem
• An algebraic approach to non-classical logics
• Matrix approach in methodology of sentential calculi
• Helena Rasiowa
• A closer look at some subintuitionistic logics
• A survey of abstract algebraic logic
• Fregean logics with the multiterm deduction theorem and their algebraization
• Algebraic aspects of cut elimination
• Algebraic study of two deductive systems of relevance logic
• Weakly implicative (fuzzy) logics. I: Basic properties
• Logics preserving degrees of truth
• On the ε-theorems
• Correspondences between gentzen and hilbert systems
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• On Special Implicative Filters
• Belnap's Four-Valued Logic and De Morgan Lattices
• Weakly algebraizable logics
• Multipliers of Hardy Spaces
• The completeness of the first-order functional calculus
• Algebraic treatment of the notion of satisfiability
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Beyond Rasiowa's algebraic approach to non-classical logics