Intuitionistic Podelski-Rybalchenko Theorem and Equivalence Between Inductive Definitions and Cyclic Proofs.
Stefano BerardiMakoto TatsutaPublished in: CMCS (2018)
Keyphrases
- theorem prover
- interactive theorem proving
- natural deduction
- cut elimination
- linear logic
- fixed point semantics
- sequent calculus
- theorem proving
- machine learning
- inference rules
- inductive reasoning
- fuzzy numbers
- inductive learning
- formal proof
- fuzzy set theory
- proof search
- inductive logic programming
- wide class
- von neumann
- valued logic
- mathematical proofs
- inductive concept learning
- interval valued
- classical logic
- rule learning
- inductive inference
- first order logic
- knowledge representation
- computer algebra
- fuzzy information
- deductive reasoning
- functional programs
- mathematical knowledge
- control system
- artificial intelligence
- genetic algorithm