Combinig Classical and Intuitionistic Logic, or: Intuitionistic Implication as a Conditional.
Luis Fariñas del CerroAndreas HerzigPublished in: FroCoS (1996)
Keyphrases
- intuitionistic logic
- linear logic
- classical logic
- natural deduction
- logic programming
- cut elimination
- proof theoretic
- sequent calculus
- fixed point
- fuzzy relations
- theorem prover
- expert systems
- proof search
- logical framework
- fuzzy set theory
- desirable properties
- functional dependencies
- dynamical systems
- logic programs
- artificial intelligence