D. Hilbert, in his famous program, formulated many open mathematical problems which were stimulating for the development of mathematics and a fruitful source of

Since its inception in the famous 1936 paper by Birkhoff and von Neumann entitled "The logic of quantum mechanics quantum logic, i.e. the logical investigation

Experts in the field explore the connections across physics, quantum logic, and quantum computing.

This book provides a general survey of the main concepts, questions and results that have been developed in the recent interactions between quantum information,

In 1953, exactly 50 years ago to this day, the first volume of Studia Logica appeared under the auspices of The Philosophical Committee of The Polish Academy of