A Modal Translation for Dual-intuitionistic Logic.

Yaroslav Shramko

Published in: Rev. Symb. Log. (2016)

Keyphrases

intuitionistic logic
classical logic
modal logic
linear logic
natural deduction
normal form
web services
proof theoretic
database
expert systems
constraint satisfaction problems
incomplete information
temporal logic
desirable properties
sequent calculus