Logicoalgebraic foundations of contact mechanics
The logicoalgebraic foundations of the Lagrangian and Hamiltonian techniques of contact mechanics are exhibited, by starting axiomatically with a classical system whose logic is a Boolean \(\sigma\) algebra.
characterization of second-order motion equations
scientific article; zbMATH DE number 3940772