On the system CL12 of computability logic
Giorgi JaparidzePublished in: Log. Methods Comput. Sci. (2015)
Keyphrases
- logic programming
- classical logic
- automated reasoning
- artificial intelligence
- asynchronous circuits
- predicate logic
- logical framework
- multi valued
- modal logic
- natural language
- similarity measure
- image processing
- computer vision
- computational properties
- set theory
- social networks
- data sets
- linear logic
- dynamic logic
- proof theory