Extension properties and subdirect representation in abstract algebraic logic

DOI10.1007/S11225-017-9771-7zbMATH Open1437.03186OpenAlexW2771759909MaRDI QIDQ1756591FDOQ1756591

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

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

zbMATH Keywords

abstract algebraic logicsemilinear logicsinfinitary logicsnatural extensionssubdirect representationnatural expansions

Mathematics Subject Classification ID

Abstract algebraic logic (03G27)

Cites Work

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

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)