On Ultrafilter Logic and Special Functions.

Paulo A. S. Veloso Sheila R. M. Veloso

Published in: Stud Logica (2004)

Keyphrases

multi valued
logic programming
artificial intelligence
computer vision
image processing
database systems
bayesian networks
query language
classical logic
predicate logic
natural deduction