Automated Deduction in Classical And Nonclassical Logics Selected Papers

So-called classical logic–the logic developed in the early twentieth century by Gottlob Frege, Bertrand Russell, and others–is computationally the simplest of the major logics, and it is adequate for the needs of most mathematicians.

This book gathers the latest advances, innovations, and applications in the field of construction engineering, as presented by researchers and engineers at the International Conference Environmental and Construction Engineering: Reality and the Future, held in Belgorod, Russia, on May 18-19, 2021. It covers highly diverse topics, including industrial and civil construction, building materials; environmental engineering and sustainability; machines, aggregates and processes in construction. The contributions, which were selected by means of a rigorous international peer-review process, highlight numerous exciting ideas that will spur novel research directions and foster multidisciplinary collaborations.

This work examines the beautiful and important physical concept known as the 'geometric phase,' bringing together different physical phenomena under a unified mathematical and physical scheme.