3044 search results - page 15 / 609 » Linear logical approximations |
FUZZY
2004
Springer
15 years 5 months ago
2004
Springer
102
click to vote
DATE
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper describes a scalable, technology-independent algorithm for the synthesis of approximate logic circuits. A low overhead, non-intrusive solution for concurrent error dete...
121
click to vote
CADE
2008
Springer
15 years 1 months ago
2008
Springer
It is well known how to use an intuitionistic meta-logic to specify natural deduction systems. It is also possible to use linear logic as a meta-logic for the specification of a va...
ISMVL
1994
IEEE
15 years 3 months ago
1994
IEEE
The problem of approximating a propositional calculus is to nd many-valued logics which are sound for the calculus (i.e., all theorems of the calculus are tautologies) with as few...