A note on infinitary continuous logic.

Stefano Baratella

Published in: Math. Log. Q. (2015)

Keyphrases

logic programming
multi valued
classical logic
bayesian networks
continuous data
defeasible logic
digital circuits
asynchronous circuits
information retrieval
artificial intelligence
logical framework
sound and complete axiomatization