Jenei S.,University of Pécs |
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.
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.