Introducing Quantified Cuts in Logic with Equality.

Stefan Hetzl Alexander Leitsch Giselle Reis Janos Tapolczai Daniel Weller

Published in: IJCAR (2014)

Keyphrases

multi valued
logic programming
modal logic
classical logic
proof theory
real time
databases
neural network
information systems
decision trees
expressive power
digital circuits
formal theory
asynchronous circuits
deductive reasoning
propositional dynamic logic