Constructive Logic with Strong Negation as a Substructural Logic.

Manuela Busaniche Roberto Cignoli

Published in: J. Log. Comput. (2010)

Keyphrases

logic programming
propositional calculus
modal logic
classical logic
automated reasoning
defeasible logic
real time
logical framework
predicate logic
formal theory
data sets
neural network
knowledge base
high level
deductive databases
multi valued