Inquisitive Heyting Algebras.

Vít Puncochár

Published in: Stud Logica (2021)

Keyphrases

set theory
clifford algebra
distributive lattices
spatial reasoning
boolean algebra
database
databases
objective function
pattern recognition
expert systems
computational intelligence
rough sets
temporal reasoning
constraint propagation
relation algebra