A Constructive Proof of a Theorem in Relevance Logic.
Aleksandar KronPublished in: Math. Log. Q. (1985)
Keyphrases
- intuitionistic logic
- linear logic
- natural deduction
- interactive theorem proving
- proof theory
- proof theoretic
- proof search
- cut elimination
- classical logic
- higher order logic
- sequent calculi
- logical rules
- theorem proving
- automated theorem proving
- theorem prover
- logic programming
- default reasoning
- sequent calculus
- information retrieval
- predicate logic
- automated reasoning
- modal logic
- test collection
- asynchronous circuits
- epistemic logic
- conditional logic
- description logics
- relevance feedback
- probabilistic model
- knowledge base
- neural network