A Solution of the Word Problem for Free Double Boolean Algebras

DOI10.1007/978-3-540-70901-5_16MaRDI QIDQ3590988zbMATH OpenOpenAlexFDO

Authors Björn Vormbrock

Publication date 3 September 2007

Published in Formal Concept Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-70901-5_16

Mathematics Subject Classification ID

Word problems, etc. in computability and recursion theory (03D40) Generalizations of Boolean algebras (06E75)

Recommendations

• The structure of double Boolean algebras
• scientific article; zbMATH DE number 3557851
• Algebras of semiconcepts and double Boolean algebras
• Deciding the word problem in pure double Boolean algebras
• A topological representation of double Boolean lattices

Cited in

(6)

• Deciding the word problem in pure double Boolean algebras
• A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts
• Topological representation of double Boolean algebras
• The structure of double Boolean algebras
• Kripke contexts, double Boolean algebras with operators and corresponding modal systems
• On the logical and algebraic aspects of reasoning with formal contexts

Describes a project that uses

Uses Software

• ConImp

This page was built for publication: A Solution of the Word Problem for Free Double Boolean Algebras

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