•  30
    The Foundational Debate: Complexity and Constructivity in Mathematics and Physics
    with Roland Omnès, Anton Zeilinger, G. Cattaneo, and M. L. Dalla Chiara
    Springer. 2010.
    Constructibility and complexity play central roles in recent research in computer science, mathematics and physics. For example, scientists are investigating the complexity of computer programs, constructive proofs in mathematics and the randomness of physical processes. But there are different approaches to the explication of these concepts. This volume presents important research on the state of this discussion, especially as it refers to quantum mechanics. This `foundational debate' in comput…Read more
  •  82
    Brouwer-Zadeh logic and the operational approach to quantum mechanics
    Foundations of Physics 20 (6): 701-714. 1990.
    This paper is concerned with a logical system, called Brouwer-Zadeh logic, arising from the BZ poset of all effects of a Hilbert space. In particular, we prove a representation theorem for Brouwer-Zadeh lattices, and we show that Brouwer-Zadeh logic is not characterized by the MacNeille completions of all BZ posets of effects
  •  237
    Paraconsistent ideas in quantum logic
    with Maria Luisa Dalla Chiara and Roberto Giuntini
    Synthese 125 (1): 55-68. 2000.
  •  38
    History of Philosophy of Science: New Trends and Perspectives
    with Maria Luisa Dalla Chiara, Marina Frasca-Spada, Lothar Schäfer, Kenneth Simonsen, and R. Lanier Anderson
    Springer. 2010.
    This volume includes recent contributions to the philosophy of science from a historical point of view and of the highest topicality: the range of the topics covers all fields in the philosophy of the science provided by authors from around the world focusing on ancient, modern and contemporary periods in the development of the science philosophy. This proceedings is for the scientific community and students at graduate level as well as postdocs in this interdisciplinary field of research.