Constructive Logic with Strong Negation is a Substructural Logic. II.

Matthew Spinks Robert Veroff

Published in: Stud Logica (2008)

Keyphrases

logic programming
propositional calculus
modal logic
predicate logic
automated reasoning
classical logic
deontic logic
logic programs
multi valued
formal theory
learning algorithm
search engine
computational properties
truth values
proof theory