Extension properties and subdirect representation in abstract algebraic logic
From MaRDI portal
Publication:1756591
DOI10.1007/s11225-017-9771-7zbMath1437.03186OpenAlexW2771759909MaRDI QIDQ1756591
Publication date: 21 December 2018
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-017-9771-7
abstract algebraic logicsemilinear logicsinfinitary logicsnatural extensionssubdirect representationnatural expansions
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity
- The proof by cases property and its variants in structural consequence relations
- A note on natural extensions in abstract algebraic logic
- Constructing natural extensions of propositional logics
- On the infinite-valued Łukasiewicz logic that preserves degrees of truth
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
- Implicational (semilinear) logics. I: A new hierarchy
- Update to ``A survey of abstract algebraic logic
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- An algebraic approach to non-classical logics
- Metamathematics of fuzzy logic
- A survey of abstract algebraic logic
- Implicational (semilinear) logics. III: Completeness properties
- A complete many-valued logic with product-conjunction
- On expansions of WNM t-norm based logics with truth-constants
- A new hierarchy of infinitary logics in abstract algebraic logic
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
- On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
- Deducibility and many-valuedness
- Protoalgebraic logics
