Integrating Induction and Coinduction via Closure Operators and Proof Cycles

Keyphrases

• Coinduction 100%
• Closure Operator 100%
• Proof System 66%
• Natural Proofs 33%
• Transitive Closure 33%
• Formal Framework 33%
• Finitary 33%
• Inductive Reasoning 33%
• Transitive Closure Logic 33%
• Coinductive Data Type 33%
• Effective Systems 33%
• Non-well-founded Proofs 33%

Computer Science

• Proof System 100%
• Transitive Closure 100%
• Data Type 50%
• Computer Science 50%
• Inductive Reasoning 50%
• Formal Framework 50%
• Data Structure 50%