Finite Combinatory Logic with Predicates.
Andrej DudenhefnerChristoph StahlConstantin ChaumetFelix LaarmannJakob RehofPublished in: TYPES (2023)
Keyphrases
- quantifier free
- linear temporal logic
- real numbers
- function symbols
- logic programming
- horn clauses
- classical logic
- user defined
- multi valued
- rewrite systems
- logical formulas
- finite number
- model checking
- probabilistic logic
- neural network
- computational properties
- genetic algorithm
- proof theory
- machine learning
- relational databases
- linear logic
- asynchronous circuits
- epistemic logic
- logic programs