Decidability Problem for Finite Heyting Algebras.

Katarzyna Idziak Pawel M. Idziak

Published in: J. Symb. Log. (1988)

Keyphrases

description logics
finite number
query answering
set theory
finite automata
natural language
data model
function symbols
unit length
relation algebra
distributive lattices