Varieties of Three-Valued Heyting Algebras with a Quantifier.

Manuel Abad J. Patricio Díaz Varela Laura A. Rueda Ana Maria Suardíaz

Published in: Stud Logica (2000)

Keyphrases

set theory
quantifier elimination
topological spaces
spatial reasoning
nonmonotonic logics
distributive lattices
real time
data sets
genetic algorithm
image analysis
inference rules
constraint propagation
interval algebra
relation algebra
clifford algebra