Semi-intuitionistic Logic with Strong Negation.

Juan Manuel Cornejo Ignacio Darío Viglizzo

Published in: Stud Logica (2018)

Keyphrases

intuitionistic logic
classical logic
logic programming
linear logic
logic programs
deductive databases
normal form
natural deduction
proof theoretic
databases