Failure of Cut-Elimination in the Cyclic Proof System of Bunched Logic with Inductive Propositions.
Kenji SaotomeKoji NakazawaDaisuke KimuraPublished in: FSCD (2021)
Keyphrases
- cut elimination
- sequent calculus
- linear logic
- natural deduction
- wide class
- inference rules
- sequent calculi
- sufficient conditions
- linear time temporal logic
- proof theoretic
- modal logic
- intuitionistic logic
- truth values
- proof search
- proof theory
- theorem prover
- fixed point
- logic programming
- bayesian networks
- desirable properties
- temporal logic
- first order logic
- general purpose
- probability distribution
- search space
- natural language