Geodesic
Riemann average truth-value of Łukasiewicz formulas
Mathematica slovaca, Tome 56 (2006) no. 5, pp. 511-524
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 03B50, 06D35, 26B15, 28A60 
@article{MASLO_2006_56_5_a3,
     author = {Marra, Vincenzo and Mundici, Daniele},
     title = {Riemann average truth-value of {{\L}ukasiewicz} formulas},
     journal = {Mathematica slovaca},
     pages = {511--524},
     year = {2006},
     volume = {56},
     number = {5},
     mrnumber = {2293584},
     zbl = {1141.06008},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/MASLO_2006_56_5_a3/}
}
TY  - JOUR
AU  - Marra, Vincenzo
AU  - Mundici, Daniele
TI  - Riemann average truth-value of Łukasiewicz formulas
JO  - Mathematica slovaca
PY  - 2006
SP  - 511
EP  - 524
VL  - 56
IS  - 5
UR  - http://geodesic.mathdoc.fr/item/MASLO_2006_56_5_a3/
LA  - en
ID  - MASLO_2006_56_5_a3
ER  - 
%0 Journal Article
%A Marra, Vincenzo
%A Mundici, Daniele
%T Riemann average truth-value of Łukasiewicz formulas
%J Mathematica slovaca
%D 2006
%P 511-524
%V 56
%N 5
%U http://geodesic.mathdoc.fr/item/MASLO_2006_56_5_a3/
%G en
%F MASLO_2006_56_5_a3
Marra, Vincenzo; Mundici, Daniele. Riemann average truth-value of Łukasiewicz formulas. Mathematica slovaca, Tome 56 (2006) no. 5, pp. 511-524. http://geodesic.mathdoc.fr/item/MASLO_2006_56_5_a3/

[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. | MR

[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. | MR

[3] MANARA C.-MARRA V.-MUNDICI D.: Lattice-ordered abelian groups and Schauder bases of unimodular fans. Trans. Arner. Math. Soc. (To appear). | MR | Zbl

[4] MUNDICI D.: Interpretation of AF C* -algebras in Łukasiewicz sentential calculus. J. Funct. Anal. 65 (1986), 15-63. | MR

[5] MUNDICI D.: Farey stellar subdivisions, ultrasimplicial groups, and $K_0$ of AF C*-algebras. Adv. Math. 68 (1988), 23-39. | MR

[6] MUNDICI D.: Averaging the truth value in Łukasiewicz sentential logic. Studia Logica (Special issue in honor of Helena Rasiowa) 55 (1995), 113-127. | MR

[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. | MR | Zbl

[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]. | MR

[9] PANTI G.: A geometric proof of the completeness of the Łukasiewicz calculus. J. Symbolic Logic 60 (1995), 563-578. | MR | Zbl

[10] PANTI G.: Generic substitutions. J. Symbolic Logic 70 (2005), 61-83. | MR | Zbl

[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. | MR | Zbl