Results 31 to 40 of about 503 (185)
Discrete Integrals Based on Comonotonic Modularity
Axioms, 2013 It is known that several discrete integrals, including the Choquet and Sugeno integrals, as well as some of their generalizations, are comonotonically modular functions.
Jean-Luc Marichal, Miguel Couceiro
doaj +1 more source
An axiomatic approach to algebrization [PDF]
Proceedings of the forty-first annual ACM symposium on Theory of computing, 2009 Non-relativization of complexity issues can be interpreted as giving some evidence that these issues cannot be resolved by "black-box" techniques. In the early 1990's, a sequence of important non-relativizing results was proved, mainly using algebraic techniques.
Russell Impagliazzo +2 more
openaire +4 more sources
Mario Pieri's axiomatization of geometry [PDF]
ریاضی و جامعهIn this paper, we discuss the method of the Italian mathematician, Mario Pieri, for axiomatization of geometry, which is based only on two undefined terms, point and motion.
Reza Rezavand
doaj +1 more source
Axiomatizing GSOS with termination [PDF]
The Journal of Logic and Algebraic Programming, 2002 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Baeten, J.C.M., Vink, de, E.P.
openaire +4 more sources
Many-valued coalgebraic logic over semi-primal varieties [PDF]
Logical Methods in Computer ScienceWe study many-valued coalgebraic logics with semi-primal algebras of truth-degrees. We provide a systematic way to lift endofunctors defined on the variety of Boolean algebras to endofunctors on the variety generated by a semi-primal algebra.
Alexander Kurz +2 more
doaj +1 more source
First-order logic with metric betweenness – the case of non-definability of some graph classes
AKCE International Journal of Graphs and CombinatoricsThe metric betweenness of a connected graph and arbitrary graphs is FO definable. Moreover, several interesting classes of graphs with strong distance properties are shown to be FO definable using metric betweenness.
Jeny Jacob, Manoj Changat
doaj +1 more source
Pairwise Imitation and Tournament Graphs
International Economic Review, EarlyView.ABSTRACT This paper investigates strategic dynamics under the behavioral rule of pairwise interact and imitate (PII), which requires minimal information and emphasizes outperforming opponents in pairwise interactions. We characterize PII using weak tournament graphs and, for a broad class of dynamics, establish a one‐shot stability result for ...
Sung‐Ha Hwang +3 more
wiley +1 more source
Precautionary Saving against Correlation under Risk and Ambiguitya
Journal of Money, Credit and Banking, EarlyView.Abstract This paper considers precautionary saving against the correlation between two risky attributes (wealth and health) and investigates how the correlation affects optimal savings under multivariate preferences. The signs of higher‐order cross‐derivatives play a key role in determining the direction of precautionary saving against such correlation.
TAKAO ASANO, YUSUKE OSAKI
wiley +1 more source
Toward an Axiomatization of Strongly Possible Functional Dependencies
Vietnam Journal of Computer Science, 2021 In general, there are two main approaches to handle the missing data values problem in SQL tables. One is to ignore or remove any record with some missing data values.
Munqath Alattar, Attila Sali
doaj +1 more source
Never, Ever Getting Started: On Prospect Theory Without Commitment
Mathematical Finance, EarlyView.ABSTRACT Prospect theory is arguably the most prominent alternative to expected utility theory. We study the investment or gambling behavior of a prospect theory decision maker who is aware of his time‐inconsistency but lacks commitment. For the empirically relevant prospect theory specifications, we obtain the extreme prediction that such a decision ...
Sebastian Ebert, Philipp Strack
wiley +1 more source