Walking though the zoo of stochastic volatility and dependence parameters we got some ordering ideas and so detect some new species. The elementary volatility parameters of first and second order in spirit of dual theory of choice under risk or rank dependent expected utility are average absolute deviation and Gini index. Analogous to classical covariance dual dependence parameters will be intr...

Gen2sat is an efficient and generic theorem prover that can decide derivability for a wide variety of propositional non-classical logics given in terms of a sequent system. It contributes to the line of research on computer-supported tools for investigation and construction of logics in the spirit of the “logic engineering” paradigm. Its generality and efficiency are made possible by encoding a...

A logarithmic Sobolev trace inequality is derived. Bounds on the best constant for this inequality from above and below are investigated using the sharp Sobolev inequality and the sharp logarithmic Sobolev inequality. Logarithmic Sobolev inequalities capture the spirit of classical Sobolev inequalities with the logarithm function replacing powers, and they can be considered as limiting cases of...

Recently, it has been shown that probabilistic entailment under coherence is weaker than model-theoretic probabilistic entailment. Moreover, probabilistic entailment under coherence is a generalization of default entailment in System P . In this paper, we continue this line of research by presenting probabilistic generalizations of more sophisticated notions of classical default entailment that...

The purpose of this paper and its prequel is to introduce and develop a theory of toric stacks which encompasses and extends several notions of toric stacks defined in the literature, as well as classical toric varieties. While the focus of the prequel is on how to work with toric stacks, the focus of this paper is how to show a stack is toric. For toric varieties, a classical result says that ...

The λ̄μμ̃-calculus, introduced by Curien and Herbelin, is a calculus isomorphic to (a variant of) the classical sequent calculus LK of Gentzen. As a proof format it has very remarkable properties that we plan to study in future works. In this paper we embed it with a rendering semantics that provides explanations in pseudo-natural language of its proof terms, in the spirit of the work of Yann Cos...

We investigate the semantics of the logical systems obtained by introducing the modalities and ♦ into the family of substructural implication logics (including relevant, linear and intuitionistic implication). Then, in the spirit of the LDS (Labelled Deductive Systems) methodology, we “import” this semantics into the classical proof system KE. This leads to the formulation of a uniform labelled...

We exhibit a methodology for formulating and verifying meta-theorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an operational semantics in the spirit of logic programming. It is based on the mechanical veriication of properties of transformations between deductions, which relies on type reconstruction and schema-checking. The latter is justi...

A data warehouse is an integrated database primarily used in organizational decision making. Although the deployment of data warehouses is current practice in modern information technology landscapes, the methodical schema design for such databases has only been studied cursorily. In this paper we pursue schema design for data warehouses in the spirit of classical database design, organized as ...

The paper deals with polymodal languages combined with standard semantics defined by means of some conditions on the frames. So a notion of "polymodal base" arises which provides various enrichments of the classical modal language. One of these enrichments, viz. the base £(R,-R), with modalities over a relation and over its complement, is the paper's main paradigm. The modal definability (in th...