Extension properties and subdirect representation in abstract algebraic logic

DOI10.1007/S11225-017-9771-7MaRDI QIDQ1756591zbMATH OpenOpenAlexFDO

Authors Tomáš Lávička, Carles Noguera

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

zbMATH Keywords

abstract algebraic logicsemilinear logicsinfinitary logicsnatural extensionssubdirect representationnatural expansions

Mathematics Subject Classification ID

Abstract algebraic logic (03G27)

Recommendations

• Publication:3474636
• Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors
• Categorical abstract algebraic logic: subdirect representation for classes of structure systems
• A note on natural extensions in abstract algebraic logic
• Selfextensional logics in abstract algebraic logic: a brief survey
• Relational Methods in Computer Science
• ALGEBRAIC EXPANSIONS OF LOGICS
• An algebraic presentation of predicate logic (extended abstract)
• An algebraic approach to the disjunction property of substructural logics

Cites work

• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 1526147 (Why is no real title available?)
• scientific article; zbMATH DE number 6276273 (Why is no real title available?)
• A complete many-valued logic with product-conjunction
• A new hierarchy of infinitary logics in abstract algebraic logic
• A note on natural extensions in abstract algebraic logic
• A survey of abstract algebraic logic
• Abstract algebraic logic. An introductory textbook
• Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
• An algebraic approach to non-classical logics
• Constructing natural extensions of propositional logics
• Deducibility and many-valuedness
• Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
• Implicational (semilinear) logics. I: A new hierarchy
• Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity
• Implicational (semilinear) logics. III: Completeness properties
• Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
• Metamathematics of fuzzy logic
• On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
• On expansions of WNM t-norm based logics with truth-constants
• On the infinite-valued Łukasiewicz logic that preserves degrees of truth
• Protoalgebraic logics
• The proof by cases property and its variants in structural consequence relations
• Update to ``A survey of abstract algebraic logic

Cited in

(1)

• A note on natural extensions in abstract algebraic logic

This page was built for publication: Extension properties and subdirect representation in abstract algebraic logic

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