| Title:
|
Riemann average truth-value of Łukasiewicz formulas (English) |
| Author:
|
Marra, Vincenzo |
| Author:
|
Mundici, Daniele |
| Language:
|
English |
| Journal:
|
Mathematica Slovaca |
| ISSN:
|
0139-9918 |
| Volume:
|
56 |
| Issue:
|
5 |
| Year:
|
2006 |
| Pages:
|
511-524 |
| . |
| Category:
|
math |
| . |
| MSC:
|
03B50 |
| MSC:
|
06D35 |
| MSC:
|
26B15 |
| MSC:
|
28A60 |
| idZBL:
|
Zbl 1141.06008 |
| idMR:
|
MR2293584 |
| . |
| Date available:
|
2009-09-25T14:35:02Z |
| Last updated:
|
2012-08-01 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/129946 |
| . |
| Reference:
|
[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 1786097 |
| Reference:
|
[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 0803344 |
| Reference:
|
[3] MANARA C.-MARRA V.-MUNDICI D.: Lattice-ordered abelian groups and Schauder bases of unimodular fans.Trans. Arner. Math. Soc. (To appear). Zbl 1118.06009, MR 2272142 |
| Reference:
|
[4] MUNDICI D.: Interpretation of AF C* -algebras in Łukasiewicz sentential calculus.J. Funct. Anal. 65 (1986), 15-63. MR 0819173 |
| Reference:
|
[5] MUNDICI D.: Farey stellar subdivisions, ultrasimplicial groups, and $K_0$ of AF C*-algebras.Adv. Math. 68 (1988), 23-39. MR 0931170 |
| Reference:
|
[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 1348840 |
| Reference:
|
[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. Zbl 0865.03014, MR 1428014 |
| Reference:
|
[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 2209746 |
| Reference:
|
[9] PANTI G.: A geometric proof of the completeness of the Łukasiewicz calculus.J. Symbolic Logic 60 (1995), 563-578. Zbl 0837.03018, MR 1335137 |
| Reference:
|
[10] PANTI G.: Generic substitutions.J. Symbolic Logic 70 (2005), 61-83. Zbl 1089.03017, MR 2119123 |
| Reference:
|
[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. Zbl 1017.28002, MR 1954631 |
| . |
