A Square of Oppositions in Intuitionistic Logic with Strong Negation.

François Lepage

Published in: Logica Universalis (2016)

Keyphrases

intuitionistic logic
classical logic
logic programming
natural deduction
logic programs
linear logic
databases
bayesian networks
knowledge representation
proof theoretic