A Solution of the Word Problem for Free Double Boolean Algebras

DOI10.1007/978-3-540-70901-5_16zbMath1187.06010OpenAlexW1491504645MaRDI QIDQ3590988

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)

Related Items (4)

A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts ⋮ Kripke contexts, double Boolean algebras with operators and corresponding modal systems ⋮ Deciding the word problem in pure double Boolean algebras ⋮ Topological representation of double Boolean algebras

Uses Software

• ConImp

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