La Logica dei Poliedri
Bollettino dell'Unione Matematica Italiana (2008)
- Volume: 1, Issue: 2, page 455-474
- ISSN: 0392-4041
Access Full Article
topAbstract
topHow to cite
topMundici, Daniele. "La Logica dei Poliedri." Bollettino dell'Unione Matematica Italiana 1.2 (2008): 455-474. <http://eudml.org/doc/290483>.
@article{Mundici2008,
author = {Mundici, Daniele},
journal = {Bollettino dell'Unione Matematica Italiana},
language = {ita},
month = {6},
number = {2},
pages = {455-474},
publisher = {Unione Matematica Italiana},
title = {La Logica dei Poliedri},
url = {http://eudml.org/doc/290483},
volume = {1},
year = {2008},
}
TY - JOUR
AU - Mundici, Daniele
TI - La Logica dei Poliedri
JO - Bollettino dell'Unione Matematica Italiana
DA - 2008/6//
PB - Unione Matematica Italiana
VL - 1
IS - 2
SP - 455
EP - 474
LA - ita
UR - http://eudml.org/doc/290483
ER -
References
top- ALEXANDER, J. W., The combinatorial theory of complexes, Annals of Mathematics, 31 (1930), 292-320. Zbl56.0497.02MR1502943DOI10.2307/1968099
- BERLEKAMP, E. R., Block coding for the binary symmetric channel with noiseless, delayless feedback, In: Error-correcting Codes. ( Mann, H. B., Ed.,) Wiley, New York (1968), 330-335. MR234756
- BUSANICHE, M. - MUNDICI, D., Geometry of Robinson consistency in Łukasiewicz logic, Annals of Pure and Applied Logic, 147 (2007), 1-22. Zbl1125.03016MR2328196DOI10.1016/j.apal.2006.11.003
- CASSELS, J. W. S., An introduction to the geometry of numbers, Springer, Berlin, 1959. Zbl0086.26203MR157947
- CHERNAVSKI, A. V. and LEKSINE, V. P., Unrecognizability of manifolds, Annals of Pure and Applied Logic, 141 (2006), 325-335. Zbl1115.57014MR2234702DOI10.1016/j.apal.2005.12.011
- CICALESE, F. - MUNDICI, D., Learning and the art of fault-tolerant guesswork, Handbook Chapter, In: Perspectives on Adaptivity and Learning, I. Stamatescu, et al., Eds., Springer (2003), 115-140.
- CICALESE, F. - MUNDICI, D. - VACCARO, U., Rota-Metropolis cubic logic and Ulam-Rényi games, In: Algebraic Combinatorics and Computer Science: a tribute to Gian-Carlo Rota (H. Crapo, D. Senato, Eds.), Springer-Verlag (2001), 197-244. Zbl0978.03045MR1854480
- CIGNOLI, R. - MUNDICI, D., Stone duality for Dedekind -complete -groups with order-unit, Journal of Algebra, 302 (2006), 848-861. Zbl1108.06011MR2293786DOI10.1016/j.jalgebra.2006.05.029
- CIGNOLI, R. L. O. - D'OTTAVIANO, I. M. L. - MUNDICI, D., Algebraic foundations of many-valued reasoning, volume 7 of Trends in Logic, Kluwer Academic Publishers, Dordrecht (2000). MR1786097DOI10.1007/978-94-015-9480-6
- CIGNOLI, R. L. O. - DUBUC, E. J. - MUNDICI, D., Extending Stone duality to multisets and locally finite MV-algebras, J. Pure and Applied Algebra, 189 (2004), 37-59. Zbl1055.06004MR2038562DOI10.1016/j.jpaa.2003.10.021
- CIGNOLI, R. - ELLIOTT, G. A. - MUNDICI, D., Reconstructing -algebras from their Murray von Neumann orders, Advances in Mathematics, 101 (1993), 166-179,. MR1242603DOI10.1006/aima.1993.1046
- ERDÖS, P. - GRUBER, P. M. - HAMMER, J., Lattice points, Pitman Monographs and Surveys in Pure and Applied Mathematics39, Longman and Wiley, New York, 1989. MR1003606
- EWALD, G., Combinatorial convexity and algebraic geometry, Springer-Verlag, New York, 1996. Zbl0869.52001MR1418400DOI10.1007/978-1-4612-4044-0
- GISPERT, J. - MUNDICI, D. - TORRENS, A., Ultraproducts of with an application to many-valued logics, Journal of Algebra, 219 (1999), 214-233. Zbl0937.06008MR1707669DOI10.1006/jabr.1999.7893
- HIRZEBRUCH, F., Über vierdimensionale Riemannsche Flächen mehrdeutiger analytischer Funktionen von zwei complexen Veränderlichen, Math. Annalen, 126 (1953), 1-22. MR62842DOI10.1007/BF01343146
- JUNG, H. W. E., Darstellung der Funktionen eines algebraischen Körpers zweier unabhängigen Veränderlichen in der Umbegung einer Stelle , , J. reine angew. Math., 133 (1908), 289-314. MR1580742DOI10.1515/crll.1908.133.289
- LEKKERKERKER, C. G., Geometry of numbers, Wolters-Noordhoff, Groningen and North-Holland, Amsterdam, 1969. MR271032
- LICKORISH, W. B. R., Simplicial moves on complexes and manifolds, Geometry and Topology Monographs, Vol. 2: Proceedings of the Kirbyfest (1999), 299-320. Zbl0963.57013MR1734414DOI10.2140/gtm.1999.2.299
- MANARA-, C. MARRA, V. - MUNDICI, D., Lattice-ordered Abelian groups and Schauder bases of regular fans, Transactions of the American Mathematical Society, 359 (2007), 1593-1604. Zbl1118.06009MR2272142DOI10.1090/S0002-9947-06-03935-3
- MANIN, YU. I., A course in mathematical logic, Springer-Verlag, New York, 1977. Zbl0383.03002MR457126
- MARRA, V. - MUNDICI, D., The Lebesgue state of a unital abelian lattice-ordered group, Journal of Group Theory, 10 (2007), 655-684. Zbl1136.06009MR2352036DOI10.1515/JGT.2007.049
- MCMULLEN, P., Valuations and dissections, In: Handbook of Convex Geometry, Vol. 2. P. M. GRUBER - J. M. WILLS, Eds., Elsevier (1993), 933-988. Zbl0791.52014MR1243000
- MORELLI, R., The birational geometry of toric varieties, Journal of Algebraic Geometry, 5 (1996), 751-782. Zbl0871.14041MR1486987
- MOSTOWSKI, A., L'oeuvre scientifique de Jan Łukasiewicz dans le domaine de la logique mathématique, Fundamenta Mathematicae, 44 (1957), 1-11. MR89801DOI10.4064/fm-44-1-1-11
- MUNDICI, D., Interpretation of AF -algebras in Łukasiewicz sentential calculus, Journal of Functional Analysis, 65 (1986), 15-63. Zbl0597.46059MR819173DOI10.1016/0022-1236(86)90015-7
- MUNDICI, D., Satisfiability in many-valued sentential logic is NP-complete, Theoretical Computer Science, 52 (1987), 145-153 Zbl0639.03042MR918116DOI10.1016/0304-3975(87)90083-1
- MUNDICI, D., Farey stellar subdivisions, ultrasimplicial groups, and of AF -algebras, Advances in Mathematics, 68 (1988), 23-39. MR931170DOI10.1016/0001-8708(88)90006-0
- MUNDICI, D., Logic of infinite quantum systems, International Journal of Theoretical Physics, 32 (1993), 1941-1955. Zbl0799.03019MR1255397DOI10.1007/BF00979516
- MUNDICI, D., Łukasiewicz normal forms and toric desingularizations, In: Proceedings Logic Colloquium '93, W. Hodges et al., Editors, Oxford University Press, (1996), 401-423. MR1428014
- MUNDICI, D., Tensor Products and the Loomis-Sikorski theorem for MV-algebras, Advances in Applied Mathematics, 22 (1999), 227-248. Zbl0926.06004MR1659410DOI10.1006/aama.1998.0631
- MUNDICI, D., Simple Bratteli diagrams with a Gödel incomplete isomorphism problem, Transactions of the American Mathematical Society, 356 (2004), 1937-1955. Zbl1042.46033MR2031047DOI10.1090/S0002-9947-03-03353-1
- MUNDICI, D., Representation of -complete MV-algebras and their associated Dedekind -complete -groups, Contemporary Mathematics, 419 (2006), 219-230. Zbl1119.06009MR2279120DOI10.1090/conm/419/08007
- MUNDICI, D., Bookmaking over infinite-valued events, International Journal of Approximate Reasoning, 43 (2006), 223-240. Zbl1123.03011MR2269599DOI10.1016/j.ijar.2006.04.004
- MUNDICI, D., The Haar theorem for lattice-ordered abelian groups with order-unit, Discrete and Continuous Dynamical Systems, 21 (2008). Zbl1154.28007MR2385705DOI10.3934/dcds.2008.21.537
- MUNDICI, D. - PANTI, G., Extending addition in Elliott's local semigroup, Journal of Functional Analysis, 117 (1993), 461-471. Zbl0799.46077MR1244944DOI10.1006/jfan.1993.1134
- MUNDICI, D. - PANTI, G., Decidable and undecidable prime theories in infinite-valued logic, Annals of Pure and Applied Logic, 108 (2001), 269-278. Zbl1130.03019MR1819059DOI10.1016/S0168-0072(00)00051-8
- MUNDICI, D. - TSINAKIS, C., Gödel incompleteness in AF -algebras, Forum Mathematicum. In stampa. MR2479290DOI10.1515/FORUM.2008.048
- NEWMAN, M. H. A., On the foundations of combinatory analysis situs, Proc. Royal Academy of Amsterdam, 29 (1926), 610-641. Zbl53.0547.02
- ODA, T., Convex bodies and algebraic geometry. An introduction to the theory of toric varieties, Springer-Verlag, New York, 1988. Zbl0628.52002MR922894
- PANTI, G., Dynamical properties of logical substitutions, Discrete and Continuous Dynamical Systems, 15 (2006), 237-258. Zbl1102.03024MR2191395DOI10.3934/dcds.2006.15.237
- PANTI, G., Bernoulli automorphisms of finitely generated free MV-algebras, Journal of Pure and Applied Algebra, 208 (2007), 941-950. Zbl1110.06014MR2283436DOI10.1016/j.jpaa.2006.03.024
- PANTI, G., Invariant measures in free MV-algebras, In stampa su Communications in Algebra. http://arxiv.org/abs/math/0508445v2. Zbl1154.06008MR2440284DOI10.1080/00927870802104394
- PELC, A., Searching games with errors: fifty years of coping with liars, Theoretical Computer Science, 270 (2002), 71-109. Zbl0984.68041MR1871067DOI10.1016/S0304-3975(01)00303-6
- RÉNYI, A., Napló az információelméletröl, Gondolat, Budapest, 1976. (English translation: A Diary on Information Theory, J. Wiley and Sons, New York, 1984). MR772204
- RIECAN, B. - MUNDICI, D., Probability on MV-algebras, In: E. Pap (ed.), Handbook of Measure Theory, Vol. II, North-Holland, Amsterdam, (2001), 869-909. MR1954631DOI10.1016/B978-044450263-6/50022-1
- ROURKE, C. P. SANDERSON, B. J., Introduction to piecewise-linear topology, Springer-Verlag, New York, 1972. Zbl0254.57010MR350744
- SEMADENI, Z., Schauder bases in Banach spaces of continuous functions, Lecture Notes in Mathematics, Springer-Verlag, Berlin, volume 918, 1982. Zbl0478.46014MR653986
- TARSKI, A. - ŁUKASIEWICZ, J., Investigations into the Sentential Calculus, In: Logic, Semantics, Metamathematics, Oxford University Press, 1956, 38-59. Reprinted by Hackett Publishing Company, Indianapolis, 1983. MR736686
- TSUJII, M., Absolutely continuous invariant measures for expanding piecewise linear maps, Invent. Math., 143 (2001), 349-373. Zbl0969.37012MR1835391DOI10.1007/PL00005797
- ULAM, S., Adventures of a Mathematician, Scribner's, New York, 1976. Zbl0352.01009MR485098
- WEYL, H., The elementary theory of convex polyhedra, In: Contributions to the theory of games, Vol. I, Annals of Mathematics Studies24, University Press, Princeton NJ, 1950, 3-18. MR38088
- WKLODARCZYK, J., Decompositions of birational toric maps in blow-ups and blow-downs. Transactions of the American Mathematical Society, 373-411 (1997), 349. MR1370654DOI10.1090/S0002-9947-97-01701-7
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.