Predicate Gradual Logic and Linguistics.

Published in: CoRR (2016)

Keyphrases

computer science
modal logic
classical logic
horn clauses
logic programming
multi valued
sound and complete axiomatization
predicate logic
artificial intelligence
defeasible logic
neural network
asynchronous circuits
natural language
database
search algorithm
set theory
nonmonotonic logics
proof theory
data sets