Hintikka's Independence-Friendly Logic Meets Nelson's Realizability.
Sergei P. OdintsovStanislav O. SperanskiIgor ShevchenkoPublished in: Stud Logica (2018)
Keyphrases
- logic programming
- predicate logic
- modal logic
- conditional independence
- classical logic
- multi valued
- proof theory
- information systems
- logical framework
- defeasible logic
- sound and complete axiomatization
- neural network
- formal theory
- truth values
- bayesian networks
- database systems
- learning algorithm
- genetic algorithm
- machine learning