A Decision Procedure Revisited: Notes on Direct Logic, Linear Logic and its Implementation.

Gianluigi Bellin Jussi Ketonen

Published in: Theor. Comput. Sci. (1992)

Keyphrases

linear logic
intuitionistic logic
cut elimination
fixed point
proof theoretic
sequent calculus
proof search
logical framework
logic programming
decision making
decision problems
inference rules
desirable properties
proof procedure
predicate calculus
decision makers
higher order
object oriented