A proof concerning infinite nets of logic elements without feedback
Edward W. VeitchPublished in: SWCT (1965)
Keyphrases
- proof theory
- linear logic
- proof theoretic
- natural deduction
- cut elimination
- sequent calculus
- automated theorem proving
- proof search
- sequent calculi
- logical rules
- classical logic
- higher order logic
- predicate logic
- automated reasoning
- theorem prover
- set theory
- data sets
- inference rules
- user feedback
- modal logic
- deontic logic
- default reasoning
- theorem proving
- logic programming
- relevance feedback
- complete axiomatization
- feedback loop
- nonmonotonic logics
- multi valued
- e learning