On some Classes of Heyting Algebras with Successor that have the Amalgamation Property.

José L. Castiglioni Hernán Javier San Martín

Published in: Stud Logica (2012)

Keyphrases

spatial reasoning
set theory
data sets
decision trees
relational databases
computational intelligence