Diagram Construction in Intuitionistic Logic.

Seyed Mohammad Bagheri Massoud Pourmahdian

Published in: Log. J. IGPL (2006)

Keyphrases

intuitionistic logic
linear logic
classical logic
general purpose
natural deduction
relational databases
graphical models
logic programming
incomplete information