A note on natural extensions in abstract algebraic logic

DOI10.1007/s11225-014-9594-8zbMath1333.03268OpenAlexW2023990019MaRDI QIDQ495839

Petr Cintula, Carles Noguera

Publication date: 15 September 2015

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

Full work available at URL: https://doi.org/10.1007/s11225-014-9594-8

zbMATH Keywords

abstract algebraic logicconsequence relationstransfer principlenatural extensions of a logic

Mathematics Subject Classification ID

Abstract algebraic logic (03G27)

Related Items

Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity ⋮ Filter pairs and natural extensions of logics ⋮ Constructing natural extensions of propositional logics ⋮ Extension properties and subdirect representation in abstract algebraic logic

Cites Work

• The proof by cases property and its variants in structural consequence relations
• Implicational (semilinear) logics. I: A new hierarchy
• Update to ``A survey of abstract algebraic logic
• Sentential logics and Maehara interpolation property
• A survey of abstract algebraic logic
• Deducibility and many-valuedness
• Protoalgebraic logics
• Unnamed Item
• Unnamed Item

This page was built for publication: A note on natural extensions in abstract algebraic logic