Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems.

Hongjun Zhou Guojun Wang

Published in: Fuzzy Sets Syst. (2006)

Keyphrases

mathematical models
complex systems
artificial intelligence
management system
computer systems
logic programming
retrieval systems
asynchronous circuits
neural network
multi agent systems
theoretical framework
defeasible logic
predicate calculus