Containment logics: Algebraic Counterparts and Reduced Models

DOI10.1093/logcom/exab070OpenAlexW4212811575MaRDI QIDQ5866473

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 modelPłonka sumscontainment logicsalgebraic counterpart

Mathematics Subject Classification ID

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

Related Items (1)

A logical modeling of severe ignorance

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