Permutative Conversions in Intuitionistic Multiary Sequent Calculi with Cuts.

José Espírito Santo Luís Pinto

Published in: TLCA (2003)

Keyphrases

cut elimination
sequent calculi
linear logic
sequent calculus
natural deduction
wide class
inference rules
sufficient conditions
modal logic
logical framework
fixed point
desirable properties
proof search
logic programming
expert systems
classical logic
artificial intelligence