The doctrine of double effect ($\mathcal {DDE} $) is a long-studied ethical principle that
governs when actions that have both positive and negative effects are to be allowed. The …

Quantum theory has a long history of axiomatization. Von Neumann (1932) began by
placing Schrodinger's wave mechanics and Heisenberg's matrix mechanics within a more …

The automatic algorithm programming model can increase the dependability and efficiency
of algorithm program development, including specification generation, program refinement …

The vision of machines autonomously carrying out substantive conjecture generation,
theorem discovery, proof discovery, and proof verification in mathematics and the natural …

Interactive theorem provers are computer programs that check whether mathematical
statements are correct. We show how the mathematics of theories in chemical physics can …

Special relativity is a cornerstone of modern physical theory. While a standard coordinate
model is well known and widely taught today, multiple axiomatic systems for SR have been …

The aim of this paper is to present a new logic-based understanding of the connection
between classical kinematics and relativistic kinematics. We show that the axioms of special …

Seeing the many examples in the literature of causality violations based on faster than light
(FTL) signals one naturally thinks that FTL motion leads inevitably to the possibility of time …

This dissertation is a study in philosophy of science on using methods from mathematical
logic to compare different, non-equivalent scientific theories, applied to two important …

In this paper, we introduce a concept of non-dependence of variables in formulas. A formula
in first-order logic is non-dependent of a variable if the truth value of this formula does not …