Entity

Time filter

Source Type

Siena, Italy

Jenei S.,University of Pecs | Jenei S.,Johannes Kepler University | Montagna F.,Pian dei Mantellini
Journal of Logic and Computation | Year: 2013

We investigate uninorm algebras satisfying a strong version of involutiveness. More precisely, we require that negation is an order reversing monoid isomorphism between the positive cone and the negative cone. A rather surprising consequence of this property is that the negative cones of these algebras are BL-algebras which do not admit MV-components with more than two elements. Among other things, we prove standard completeness and co-NP completeness of the logic corresponding to these algebras. © 2012 The Author. Source


Montagna F.,Pian dei Mantellini | Fedel M.,Pian dei Mantellini | Scianna G.,Pian dei Mantellini
International Journal of Approximate Reasoning | Year: 2013

The usual coherence criterion by de Finetti is extended both to many-valued events and to conditional probability. Special attention is paid to assessments in which the betting odds for conditioning events are zero. This case is treated by means of infinitesimal probabilities. We propose a rationality criterion, called stable coherence, which is stronger than coherence in the sense of no sure loss. © 2013 Elsevier Inc. All rights reserved. Source

Discover hidden collaborations