Computable Heyting Algebras with Distinguished Atoms and Coatoms.

Nikolay Bazhenov

Published in: J. Log. Lang. Inf. (2023)

Keyphrases

set theory
linear combination
logic programs
distributive lattices
answer sets
spatial reasoning
boolean algebra
topological spaces
web services
decision trees
database systems
evolutionary algorithm
hidden markov models
knowledge base
artificial intelligence
real time
clifford algebra
database