Commentary on Grigori Mints' "Classical and Intuitionistic Geometric Logic".
Roy DyckhoffSara NegriPublished in: FLAP (2017)
Keyphrases
- classical logic
- linear logic
- natural deduction
- cut elimination
- modal logic
- logical framework
- valued logic
- logic programming
- inference rules
- theorem prover
- multi valued
- automated reasoning
- probability theory
- finite model theory
- fuzzy set theory
- geometric constraints
- multiscale
- geometric structure
- current status
- fuzzy numbers
- future directions
- digital circuits
- predicate logic
- expert systems
- dynamic logic
- computer vision
- sequent calculus
- neural network
- quantum computation
- database