An old-line proof checker operating under APL/360, with educational applications in logic, mathematics, and computer science.
P. D. PagePublished in: ACM SIGAPL APL Quote Quad (1971)
Keyphrases
- mathematics and computer science
- proof theory
- natural deduction
- proof search
- set theory
- proof theoretic
- linear logic
- computer science and artificial intelligence
- theorem prover
- inference rules
- sequent calculi
- logical rules
- theorem proving
- automated theorem proving
- automated reasoning
- cut elimination
- sequent calculus
- educational technology
- classical logic
- modal logic
- logical framework
- e learning
- default reasoning
- learning design
- higher order logic
- multimedia
- classical first order logic
- logic programming
- educational experiences
- educational games
- multi valued
- partial order
- temporal logic
- line segments
- tableau calculus
- distance education
- case study
- asynchronous circuits