132
click to vote
ISMVL
2000
IEEE
15 years 10 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
15 years 10 months ago
2000
IEEE
97
Voted
ISMVL
2000
IEEE
15 years 10 months ago
2000
IEEE
168
click to vote
ISMVL
2000
IEEE
15 years 10 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...