Cathoristic Logic.
Richard Prideaux EvansMartin BergerPublished in: From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Keyphrases
- logic programming
- truth values
- multi valued
- modal logic
- artificial intelligence
- database systems
- evolutionary algorithm
- programming language
- natural deduction
- proof theory
- deductive reasoning
- case study
- decision making
- automated reasoning
- computer vision
- set theory
- predicate logic
- machine learning
- linear temporal logic