Beyond Rasiowa's algebraic approach to non-classical logics
From MaRDI portal
Publication:2498364
DOI10.1007/s11225-006-7196-9zbMath1097.03062OpenAlexW2043676956MaRDI QIDQ2498364
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
surveyabstract algebraic logicalgebraizable logicsGentzen systemsequivalential logicsimplicative logicsLeibniz hierarchyFrege hierarchygeneralized matrices
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