Equivalence of Intuitionistic Inductive Definitions and Intuitionistic Cyclic Proofs under Arithmetic.
Stefano BerardiMakoto TatsutaPublished in: CoRR (2017)
Keyphrases
- theorem prover
- linear logic
- cut elimination
- natural deduction
- fuzzy set theory
- interval valued
- sequent calculus
- classical logic
- proof search
- fuzzy information
- inference rules
- theorem proving
- fuzzy numbers
- fuzzy sets
- formal proof
- wide class
- fuzzy logic
- first order logic
- decision making
- rule learning
- concept learning
- inductive learning
- real valued
- sufficient conditions
- computational intelligence
- knowledge representation
- machine learning