Sciweavers

14 search results - page 1 / 3
» De Morgan Bisemilattices
Sort
View
ISMVL
2000
IEEE
111views Hardware» more  ISMVL 2000»
13 years 9 months ago
De Morgan Bisemilattices
Janusz A. Brzozowski
LICS
1992
IEEE
13 years 9 months ago
Origins of the Calculus of Binary Relations
The calculus of binary relations was introduced by De Morgan in 1860, and was subsequently greatly developed by Peirce and Schr
Vaughan R. Pratt
VLSID
2002
IEEE
100views VLSI» more  VLSID 2002»
13 years 10 months ago
Layout-Driven Timing Optimization by Generalized De Morgan Transform
We propose a timing-oriented logic optimization technique called Generalized De Morgan (GDM) transform, that integrates gate resizing, net buffering and De Morgan transformation. ...
Supratik Chakraborty, Rajeev Murgai
EUSFLAT
2003
101views Fuzzy Logic» more  EUSFLAT 2003»
13 years 6 months ago
Generalized negations and intuitionistic fuzzy sets - a criticism to a widely used terminology
Intuitionistic Fuzzy Sets Theory is based on a wrong nominalistic (terminological) assumption. It is defined as “intuitionistic” a negation which does not satisfy usual prope...
Gianpiero Cattaneo, Davide Ciucci
FSS
2008
94views more  FSS 2008»
13 years 5 months ago
Lattices of convex normal functions
The algebra of truth values of type-2 fuzzy sets is the set of all functions from the unit interval into itself, with operations de ned in terms of certain convolutions of these f...
John Harding, Carol L. Walker, Elbert A. Walker