A Possibilistic Intuitionistic Logic.

Oscar Estrada José Arrazola Mauricio Osorio

Published in: MICAI (1) (2010)

Keyphrases

intuitionistic logic
classical logic
linear logic
natural deduction
proof theoretic
normal form
proof theory
cut elimination
probability distribution
logic programming
theorem prover