Riemann average truth-value of Łukasiewicz formulas

Vincenzo Marra; Daniele Mundici

Mathematica Slovaca (2006)

  • Volume: 56, Issue: 5, page 511-524
  • ISSN: 0232-0525

How to cite

top

Marra, Vincenzo, and Mundici, Daniele. "Riemann average truth-value of Łukasiewicz formulas." Mathematica Slovaca 56.5 (2006): 511-524. <http://eudml.org/doc/31911>.

@article{Marra2006,
author = {Marra, Vincenzo, Mundici, Daniele},
journal = {Mathematica Slovaca},
keywords = {MV-algebra; averaging process; Riemann integral; McNaughton function; Łukasiewicz logic; infinite-valued logic; Schauder basis; finitely additive measure},
language = {eng},
number = {5},
pages = {511-524},
publisher = {Mathematical Institute of the Slovak Academy of Sciences},
title = {Riemann average truth-value of Łukasiewicz formulas},
url = {http://eudml.org/doc/31911},
volume = {56},
year = {2006},
}

TY - JOUR
AU - Marra, Vincenzo
AU - Mundici, Daniele
TI - Riemann average truth-value of Łukasiewicz formulas
JO - Mathematica Slovaca
PY - 2006
PB - Mathematical Institute of the Slovak Academy of Sciences
VL - 56
IS - 5
SP - 511
EP - 524
LA - eng
KW - MV-algebra; averaging process; Riemann integral; McNaughton function; Łukasiewicz logic; infinite-valued logic; Schauder basis; finitely additive measure
UR - http://eudml.org/doc/31911
ER -

References

top
  1. CIGNOLI R.-D'OTTAVIANO I. M. L.-MUNDICI D., Algebraic Fouadations of Many-Valued Reasoning, Trends Log. Stud. Log. Libr. 7, Kluwer Academic Publishers, Dordrecht, 2000. MR1786097
  2. DE CONCINI C.-PROCESI C., Complete symmetric varieties II. Intersection theory, In: Algebraic Groups and Related Topics (Kyoto/Nagoya, 1983), North Holland, Amsterdam, 1985, pp. 481-513. (1983) MR0803344
  3. MANARA C.-MARRA V.-MUNDICI D., Lattice-ordered abelian groups and Schauder bases of unimodular fans, Trans. Arner. Math. Soc. (To appear). Zbl1118.06009MR2272142
  4. MUNDICI D., Interpretation of AF C* -algebras in Łukasiewicz sentential calculus, J. Funct. Anal. 65 (1986), 15-63. (1986) MR0819173
  5. MUNDICI D., Farey stellar subdivisions, ultrasimplicial groups, and K 0 of AF C*-algebras, Adv. Math. 68 (1988), 23-39. (1988) MR0931170
  6. MUNDICI D., Averaging the truth value in Łukasiewicz sentential logic, Studia Logica (Special issue in honor of Helena Rasiowa) 55 (1995), 113-127. (1995) MR1348840
  7. MUNDICI D., Łukasiewicz normal forms and toric desingularizations, In: Proceedings Logic Colloquium '93 (W. Hodges et al., eds.), Oxford University Press, Oxford, 1996, pp. 401-423. (1996) Zbl0865.03014MR1428014
  8. MUNDICI D., A Characterization of the free n-generated MV-algebras, Arch. Math. Logic 45 (2006), 239-247 [Available at http://www.springerlink.com DOI: 10.1007/s00153-004-0273-8]. MR2209746
  9. PANTI G., A geometric proof of the completeness of the Łukasiewicz calculus, J. Symbolic Logic 60 (1995), 563-578. (1995) Zbl0837.03018MR1335137
  10. PANTI G., Generic substitutions, J. Symbolic Logic 70 (2005), 61-83. Zbl1089.03017MR2119123
  11. RIEČAN B.-MUNDICI D., Probability on MV-algebras, In: Handbook of Measure-Theory. Vol. II (E. Pap, ed.), North-Holland, Amsterdam, 2001, pp. 869-909. Zbl1017.28002MR1954631

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.