Login / Signup
The Elimination of Atomic Cuts and the Semishortening Property for Gentzen's Sequent Calculus with Equality.
Franco Parlamento
Flavio Previale
Published in:
Rev. Symb. Log. (2021)
Keyphrases
</>
sequent calculus
cut elimination
inference rules
linear logic
modal logic
linear time temporal logic
natural deduction
desirable properties
logical framework
proof search
wide class
temporal logic
situation calculus
horn clauses
default logic
artificial intelligence
model checking
first order logic
expert systems