Containment logics: Algebraic Counterparts and Reduced Models

DOI10.1093/LOGCOM/EXAB070OpenAlexW4212811575MaRDI QIDQ5866473FDOQ5866473

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

Recommendations

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

zbMATH Keywords

abstract algebraic logicreduced modelcontainment logicsPłonka sumsalgebraic counterpart

Mathematics Subject Classification ID

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

Cited In (2)

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

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)