A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems.

Gianna Cioni Attilio Colagrossi Alfonso Miola

Published in: J. Symb. Comput. (1995)

Keyphrases

automated reasoning
reasoning systems
automated verification
probabilistic reasoning
knowledge representation
sequent calculus
theorem proving
inference rules
theorem prover
reasoning tasks
machine learning
image segmentation
expert systems
general purpose
linear logic
cut elimination