The Complexity of Disjunction in Intuitionistic Logic.

R. Ramanujam Vaishnavi Sundararajan S. P. Suresh

Published in: LFCS (2016)

Keyphrases

intuitionistic logic
classical logic
decision problems
proof theoretic
artificial intelligence
web services
belief functions
linear logic
natural deduction