A Note on a Subsystem Of Intuitionistic Logic with Constant Domains.

Pierluigi Minari

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

Keyphrases

intuitionistic logic
classical logic
linear logic
knowledge based systems
proof theoretic
bayesian networks
logic programs
logic programming
nonmonotonic reasoning
natural deduction