Cut elimination for propositional cyclic proof systems with fixed-point operators.

Hiromasa Hori Koji Nakazawa Makoto Tatsuta

Published in: CoRR (2023)

Keyphrases

fixed point
linear logic
cut elimination
sequent calculus
default logic
proof theoretic
sufficient conditions
dynamical systems
floating point
theorem prover
proof search
belief propagation
natural deduction
fixed point theorem
expert systems
closure operator
inference rules
graphical models