A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras.

Juan Manuel Cornejo Hernán Javier San Martín

Published in: Log. J. IGPL (2018)

Keyphrases

topological spaces
relation algebra
clifford algebra
databases
decision trees
multiscale
np complete