The Elimination of Maximum Cuts in Linear Logic and BCK Logic.

Mirjana Borisavljevic

Published in: Stud Logica (2023)

Keyphrases

linear logic
cut elimination
intuitionistic logic
proof theoretic
sequent calculus
logic programming
logical framework
proof search
fixed point
desirable properties
inference rules
natural deduction
higher order
logic programs
decision problems
wide class