Ideal Related Algebras and Their Logics Extended Abstract
From MaRDI portal
Publication:5098744
DOI10.1007/978-3-030-44638-3_6OpenAlexW3012964202MaRDI QIDQ5098744FDOQ5098744
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
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
admissible rulesmodal logicsalgebraic semanticsunificationBoolean algebras with operatorsframe semanticsclosure algebras
Cites Work
- Modal logic
- Best solving modal equations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Boolean Algebras with Operators. Part I
- Modal consequence relations extending S4.3: an application of projective unification
- Almost structural completeness; an algebraic approach
- Projective unification in modal logic
- Title not available (Why is that?)
- Unification through projectivity
- Algebras Whose Congruence Lattices are Distributive.
- Unification and Passive Inference Rules for Modal Logics
- Projective unification in transitive modal logics
- The algebra of topology
- The lattice of modal logics: an algebraic investigation
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the Semilattice of Modal Operators and Decompositions of the Discriminator
- A study of some systems in the neighbourhood of S4.4
- In search of a ``true logic of knowledge: The nonmonotonic perspective
- Modal system S4.4
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)
