A probabilistic extension of intuitionistic logic.

Zoran Markovic Zoran Ognjanovic Miodrag Raskovic

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

Keyphrases

intuitionistic logic
proof theoretic
linear logic
classical logic
database systems
bayesian networks
natural deduction
knowledge base
expert systems
probabilistic logic