3 search results - page 1 / 1 » Normal Gentzen Deductions in the Classical Case |
IGPL
2000
13 years 5 months ago
2000
ISMVL
2000
IEEE
13 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...
TNN
1998
13 years 5 months ago
1998
In this paper we regard first the situation where parallel channels are disturbed by noise. With the goal of maximal information conservation we deduce the conditions for a transf...