Object oriented protoconcepts and logics for double and pure double Boolean algebras

DOI10.1007/978-3-030-52705-1_23MaRDI QIDQ2096570zbMATH OpenOpenAlexFDO

Authors Prosenjit Howlader, Mohua Banerjee

Publication date 9 November 2022

Full work available at URL https://doi.org/10.1007/978-3-030-52705-1_23

Mathematics Subject Classification ID

Logical aspects of Boolean algebras (03G05) Knowledge representation (68T30)

Recommendations

• The structure of double Boolean algebras
• Algebras of semiconcepts and double Boolean algebras
• Concept Lattices
• A logic of object-oriented programs
• scientific article; zbMATH DE number 2090122
• scientific article; zbMATH DE number 1670748
• Algebraic reasoning for object-oriented programming
• An algebraic approach to formalization of object-orientation^*

Cited in

(9)

• A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts
• Topological representation of double Boolean algebras
• Algebras of semiconcepts and double Boolean algebras
• The structure of double Boolean algebras
• A topological representation of double Boolean lattices
• Semiconcept and protoconcept algebras: The basic theorems
• Concept Lattices
• Kripke contexts, double Boolean algebras with operators and corresponding modal systems
• On the logical and algebraic aspects of reasoning with formal contexts

This page was built for publication: Object oriented protoconcepts and logics for double and pure double Boolean algebras

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