Semi-intuitionistic Logic.

Juan Manuel Cornejo

Published in: Stud Logica (2011)

Keyphrases

intuitionistic logic
classical logic
linear logic
natural deduction
proof theoretic
normal form
probabilistic model
object oriented
database
artificial intelligence
data model
general purpose
integrity constraints
fixed point
deductive databases
cut elimination