Advanced search
Found 3 swedish dissertations matching the above criteria.
-
1. Leibniz on Agency and Force
Abstract : This is a study of Leibniz’s theory of agency – his theory of the nature of causal powers and agents. Leibniz develops his view against the background of an Aristotelian conception of agency. The latter was rejected by many early modern philosophers in the wake of the mechanist conception of the natural world. READ MORE
-
2. Noncommutative Riemannian Geometry of Twisted Derivations
Abstract : A twisted derivation is a generalized derivative satisfying a twisted version of the ordinary Leibniz rule for products. In particular, a (σ, τ )-derivation on an algebra A, is a derivation where Leibniz rule is twisted by two endomorphisms σ and τ on A. READ MORE
-
3. New techniques for handling quantifiers in Boolean and first-order logic
Abstract : The automation of reasoning has been an aim of research for a long time. Already in 17th century, the famous mathematician Leibniz invented a mechanical calculator capable of performing all four basic arithmetic operators. READ MORE