320 search results - page 25 / 64 » Conditionals and consequences |
ENTCS
2002
13 years 9 months ago
2002
Every endofunctor F of Set has an initial algebra and a final coalgebra, but they are classes in general. Consequently, the endofunctor F of the category of classes that F induces...
MOC
2000
13 years 9 months ago
2000
How close are Galerkin eigenvectors to the best approximation available out of the trial subspace? Under a variety of conditions the Galerkin method gives an approximate eigenvecto...
LICS
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract—Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain as much as possible fro...
MICS
2010
13 years 8 months ago
2010
The Newton polygon of the implicit equation of a rational plane curve is explicitly determined by the multiplicities of any of its parametrizations. We give an intersection-theoret...
MSS
2010
IEEE
13 years 8 months ago
2010
IEEE
Discounted utilitarianism treats generations unequally and leads to seemingly unappealing consequences in some models of economic growth. Instead, this paper presents and applies ...