Constructive Cut Elimination in Geometric Logic.

Giulio Fellin Sara Negri Eugenio Orlandelli

Published in: TYPES (2021)

Keyphrases

cut elimination
sequent calculus
linear logic
natural deduction
wide class
proof theoretic
sequent calculi
inference rules
sufficient conditions
linear time temporal logic
intuitionistic logic
modal logic
theorem prover
proof search
proof theory
first order logic
logic programming
classical logic
expert systems