ISMVL
2000
IEEE
13 years 8 months ago
2000
IEEE
We present a uniform relational framework for developing proof systems for theories of manyvaluedness that may have the form of a logical system, of a class of algebra or of an in...
ISMVL
2000
IEEE
13 years 8 months ago
2000
IEEE
ISMVL
2000
IEEE
13 years 8 months ago
2000
IEEE
ISMVL
2000
IEEE
13 years 8 months ago
2000
IEEE
Signed conjunctive normal form (signed CNF) is a classical conjunctive clause form using a generalized notion of literal, called signed atom. A signed atom is an expression of the...