An equational theory for σ-complete orthomodular lattices.

Published in: Soft Comput. (2020)

Keyphrases

theorem proving
image sequences
multiscale
theoretical framework
equational theories
databases
information retrieval
multimedia
logic programs
information theory
theorem prover
theoretical basis