Intermediate Logics Preserving Admissible Inference Rules of Heyting Calculus.
Vladimir V. RybakovPublished in: Math. Log. Q. (1993)
Keyphrases
- inference rules
- sequent calculus
- natural deduction
- modal logic
- first order logic
- proof search
- cut elimination
- set theory
- theorem proving
- proof procedures
- theorem prover
- expressive power
- proof procedure
- logical framework
- truth values
- probability theory
- epistemic logic
- logic programming language
- horn clauses
- feature selection
- temporal logic
- binary relations
- conditional probabilities
- search algorithm