Minimal Resolution Proof Systems for Finitely-Valued Lukasiewicz Logics.

E. R. Harley Zbigniew Stachniak

Published in: ISMVL (1993)

Keyphrases

modal logic
decision procedures
high resolution
management system
distributed systems
low resolution
learning systems
proof theory
database
data sets
case study
expert systems
building blocks
expressive power
inference rules
theorem proving