Skolem's Theorem in Coherent Logic.
Marc BezemThierry CoquandPublished in: Fundam. Informaticae (2019)
Keyphrases
- intuitionistic logic
- first order logic
- classical logic
- logic programming
- modal logic
- automated reasoning
- valued logic
- decision trees
- proof theory
- von neumann
- neural network
- nonmonotonic logics
- probability theory
- digital topology
- epistemic logic
- defeasible logic
- logical framework
- data structure
- multi agent
- case study
- information systems
- information retrieval
- machine learning