An account of well-being that Parfit labels the ‘desire-fulfillment’ theory ~1984, 493! has gained a great deal of support as the most plausible account of what makes a subject well-off. According to the desire-fulfillment, or DF, theory, an agent’s well-being is constituted by the obtaining of states of affairs that are desired by that agent. Importantly, though, while all DF theorists affirm ...

We introduce a syntax for quotient types in a predicate logic over a simply type theory. To illustrate its usefulness we construct in purely type theoretic terms (a) the free abelian group on a commutative monoid H, as quotient of H H; a special instance is the construction of Z from N; (b) the quotient poset of a preorder, (c) the abelian quotient of an arbitrary group, and (d) tensor products...

Nominal logic is an extension of first-order logic with features useful for reasoning about abstract syntax with bound names. For computational applications such as programming and formal reasoning, it is desirable to develop constructive type theories for nominal logic that extend standard type theories for propositional, firstor higher-order logic. This has proven difficult, largely because o...

in this study a simple and general chemical association theory is introduced. the concept of infinite equilibrium model is re-examined and true mole fractions of associated species are calculated. the theory is applied to derive the distribution function of associated species. as a severe test the application of presented theory to the van der waals mixture model is introduced in order to perfo...