We axiomatize the notion of state over finitely generated free NM-algebras, the Lindenbaum algebras of pure Nilpotent Minimum logic. We show that states over the free n-generated NM-algebra $${{\fancyscript{NM}_{n}}}$$ exactly correspond to integrals of elements of $${{\fancyscript{NM}_{n}}}$$ with respect to Borel probability measures.
Probability measures in the logic of Nilpotent Minimum / S. Aguzzoli, B. Gerla. - In: STUDIA LOGICA. - ISSN 0039-3215. - 94:2(2010), pp. 151-176. [10.1007/s11225-010-9228-8]
Probability measures in the logic of Nilpotent Minimum
S. AguzzoliPrimo
;
2010
Abstract
We axiomatize the notion of state over finitely generated free NM-algebras, the Lindenbaum algebras of pure Nilpotent Minimum logic. We show that states over the free n-generated NM-algebra $${{\fancyscript{NM}_{n}}}$$ exactly correspond to integrals of elements of $${{\fancyscript{NM}_{n}}}$$ with respect to Borel probability measures.File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.