Introducing Quantified Cuts in Logic with Equality.

Stefan Hetzl Alexander Leitsch Giselle Reis Janos Tapolczai Daniel Weller

Published in: CoRR (2014)

Keyphrases

logic programming
modal logic
probabilistic logic
logical framework
information systems
formal theory
proof theory
inference rules
automated reasoning
computational properties
predicate logic
dynamic logic