Skip to content

The consistency of rule-bases in lattice-valued first-order logic LF(X).

Tsu-Tian Lee, Yang Xu

VenueBSMC
Year2003
ProceedingsSMC

Browse the full SMC paper archive.