A Gentzen-style sequent calculus of constructions with expansion rules.

Jonathan P. Seldin

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

Keyphrases

cut elimination
sequent calculus
linear logic
inference rules
natural deduction
modal logic
wide class
linear time temporal logic
sufficient conditions
horn clauses
fixed point
proof search
first order logic
programming language
pairwise
expert systems
training data
image segmentation
machine learning