Pages that link to "Item:Q2096570"
From MaRDI portal
The following pages link to Object oriented protoconcepts and logics for double and pure double Boolean algebras (Q2096570):
Displaying 5 items.
- A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts (Q2677854) (← links)
- Topological representation of double Boolean algebras (Q2697416) (← links)
- Algebras of semiconcepts and double Boolean algebras (Q2759840) (← links)
- Concept Lattices (Q5901952) (← links)
- Kripke contexts, double Boolean algebras with operators and corresponding modal systems (Q6117142) (← links)