Login / Signup

Corrigendum: A Simple Proof of a Completeness Result for Leads-To in the UNITY Logic.

Jan K. Pachl
Published in: Inf. Process. Lett. (1992)
Keyphrases
  • linear logic
  • machine learning
  • proof theory
  • logic programming
  • automated theorem proving
  • website
  • logical framework
  • classical logic
  • cut elimination