Hypothetical Reasoning with Substructural Logics.

Pablo López Ernesto Pimentel

Published in: APPIA-GULP-PRODE (1999)

Keyphrases

hypothetical reasoning
propositional calculus
logic programs
expressive power
cognitive science
legal argument
modal logic
deductive databases
supreme court
database
databases
logic programming
epistemic logic
proof theory
general purpose
multiscale
learning algorithm