Containment logics: Algebraic Counterparts and Reduced Models

DOI10.1093/LOGCOM/EXAB070MaRDI QIDQ5866473zbMATH OpenOpenAlexFDO

Authors Stefano Bonzio, Michele Pra Baldi

Publication date 22 September 2022

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exab070

zbMATH Keywords

abstract algebraic logicreduced modelcontainment logicsPłonka sumsalgebraic counterpart

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Abstract algebraic logic (03G27)

Recommendations

• Containment logics: algebraic completeness and axiomatization
• The Suszko operator. I
• Semantics for analytic containment
• Algebraic analysis of demodalised analytic implication
• Algebraizable logics

Cited in

(2)

• Containment in Rule-Based Models
• A logical modeling of severe ignorance

This page was built for publication: Containment logics: Algebraic Counterparts and Reduced Models

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