Ideal related algebras and their logics

DOI10.1093/LOGCOM/EXAB021zbMATH Open1487.03079OpenAlexW3179134436MaRDI QIDQ5019291FDOQ5019291

Wojciech Dzik, Ivo Düntsch

Publication date: 3 January 2022

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

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

zbMATH Keywords

admissible rulesmodal logicsalgebraic semanticsunificationBoolean algebras with operatorsframe semanticsclosure algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

Cited In (2)

• Ideal Related Algebras and Their Logics Extended Abstract
• Idealization in applied first-order logic

This page was built for publication: Ideal related algebras and their logics

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