Characterizing Logic Grammars: A Substructural Logic Approach.

James H. Andrews Verónica Dahl Fred Popowich

Published in: J. Log. Program. (1996)

Keyphrases

propositional calculus
logic programming
predicate logic
classical logic
epistemic logic
proof theory
databases
inference rules
automated reasoning
multi valued
probabilistic logic
computational properties
truth values
delay insensitive