Functional Completeness of Weak Logics with the Strict Negation?

Ivan Chajda Radomír Halas

Published in: J. Multiple Valued Log. Soft Comput. (2009)

Keyphrases

logic programming
expressive power
inference rules
truth values
modal logic
classical logic
data sets
data quality
horn clauses
weak signal
database
functional analysis
nonmonotonic logics
decision procedures
deductive databases
logic programs
data model
multi agent systems
knowledge base
learning algorithm
real time