Constructing natural extensions of propositional logics

DOI10.1007/s11225-016-9671-2zbMath1417.03306OpenAlexW2394386647MaRDI QIDQ514508

Adam Přenosil

Publication date: 2 March 2017

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

Full work available at URL: https://doi.org/10.1007/s11225-016-9671-2

zbMATH Keywords

propositional logicabstract algebraic logicconsequence relationstransfer theoremsnatural extensions

Mathematics Subject Classification ID

Classical propositional logic (03B05) Abstract algebraic logic (03G27)

Related Items (2)

Filter pairs and natural extensions of logics ⋮ Extension properties and subdirect representation in abstract algebraic logic

Cites Work

• Unnamed Item
• A note on natural extensions in abstract algebraic logic
• Reduced products of logical matrices
• A survey of abstract algebraic logic
• Some characterization theorems for infinitary universal Horn logic without equality
• Deducibility and many-valuedness
• Protoalgebraic logics

This page was built for publication: Constructing natural extensions of propositional logics