Decidable Formulas of Intuitionistic Primitive Recursive Arithmetic.
Saeed SalehiPublished in: Reports Math. Log. (2002)
Keyphrases
- linear time temporal logic
- datalog programs
- quantifier free
- first order logic
- natural deduction
- linear logic
- theorem prover
- cut elimination
- sequent calculus
- recursive queries
- fuzzy set theory
- arithmetic operations
- fuzzy numbers
- transitive closure
- real numbers
- inference rules
- deductive databases
- classical logic
- expressive power
- interval valued
- mathematical formulas
- recursive algorithm
- action theories
- theorem proving
- higher level
- floating point
- polynomial hierarchy
- logic programs
- high level