Independence-friendly logic without Henkin quantification.

Fausto Barbero Lauri Hella Raine Rönnholm

Published in: Arch. Math. Log. (2021)

Keyphrases

classical logic
modal logic
logic programming
multi valued
formal theory
proof theory
real time
neural network
data mining
knowledge base
database systems
knowledge representation
graphical models
truth values
abductive reasoning
friendly interface