Ideal Related Algebras and Their Logics Extended Abstract

DOI10.1007/978-3-030-44638-3_6MaRDI QIDQ5098744zbMATH OpenOpenAlexFDO

Authors Wojciech Dzik, Ivo Düntsch

Publication date 30 August 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-44638-3_6

zbMATH Keywords

admissible rulesmodal logicsalgebraic semanticsunificationBoolean algebras with operatorsframe semanticsclosure algebras

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Recommendations

• Ideal related algebras and their logics
• Relation algebras, idempotent semirings and generalized bunched implication algebras
• The ideal structure of existentially closed algebras
• scientific article; zbMATH DE number 1512768
• scientific article; zbMATH DE number 125866
• Extended LI-ideals in lattice implication algebras
• Ideal theory on EQ-algebras
• Some logical invariants of algebras and logical relations between algebras
• scientific article; zbMATH DE number 2221683
• scientific article; zbMATH DE number 2172903

Cites work

• scientific article; zbMATH DE number 4014675 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 3564971 (Why is no real title available?)
• scientific article; zbMATH DE number 1852919 (Why is no real title available?)
• A study of some systems in the neighbourhood of S4.4
• Algebras Whose Congruence Lattices are Distributive.
• Almost structural completeness; an algebraic approach
• Best solving modal equations
• Boolean Algebras with Operators. Part I
• In search of a ``true logic of knowledge: The nonmonotonic perspective
• Modal consequence relations extending S4.3: an application of projective unification
• Modal logic
• Modal system S4.4
• On the Semilattice of Modal Operators and Decompositions of the Discriminator
• Projective unification in modal logic
• Projective unification in transitive modal logics
• The algebra of topology
• The lattice of modal logics: an algebraic investigation
• Unification and Passive Inference Rules for Modal Logics
• Unification through projectivity

This page was built for publication: Ideal Related Algebras and Their Logics Extended Abstract

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