The Completeness and Decidability of Intuitive Implication Logic System.

Guoping Du Hongguang Wang Na Li Liang Xu

Published in: ICNC (4) (2008)

Keyphrases

modal logic
description logics
decision procedures
computational properties
logical implication
classical logic
logic programming
data quality
databases
predicate logic
defeasible logic
multi valued
query answering
neural network
data sets
digital circuits
formal theory
asynchronous circuits
delay insensitive