Sciweavers

300 search results - page 22 / 60
» An extension of the Cayley-Sylvester formula
Sort
View
EUSFLAT
2009
175views Fuzzy Logic» more  EUSFLAT 2009»
14 years 7 months ago
The Minimization of the Risk of Falling in Portfolios under Uncertainty
Abstract-- A portfolio model to minimize the risk of falling under uncertainty is discussed. The risk of falling is represented by the value-at-risk of rate of return. Introducing ...
Yuji Yoshida
CORR
2011
Springer
202views Education» more  CORR 2011»
14 years 1 months ago
First-order Logic: Modality and Intensionality
Contemporary use of the term ’intension’ derives from the traditional logical Frege-Russell’s doctrine that an idea (logic formula) has both an extension and an intension. Al...
Zoran Majkic
DM
2008
88views more  DM 2008»
14 years 10 months ago
Bijective proofs of Gould's and Rothe's identities
We first give a bijective proof of Gould's identity in the model of binary words. Then we deduce Rothe's identity from Gould's identity again by a bijection, which a...
Victor J. W. Guo
IGPL
2008
67views more  IGPL 2008»
14 years 9 months ago
Complete Axiomatisations of Properties of Finite Sets
We study a logic whose formulae are interpreted as properties of a finite set over some universe. The language is propositional, with two unary operators inclusion and extension, ...
Thomas Ågotnes, Michal Walicki
JSYML
2008
86views more  JSYML 2008»
14 years 9 months ago
On Skolemization in constructive theories
In this paper a method for the replacement, in formulas, of strong quantifiers by functions is introduced that can be considered as an alternative to Skolemization in the setting ...
Matthias Baaz, Rosalie Iemhoff