Results 121 to 130 of about 454 (145)
Some of the next articles are maybe not open access.
Aristotelian Axiomatics and Geometrical Axiomotics
1980Professor Szabo deserves credit for calling our attention to the interplay of philosophical and mathematical influences in the development of Greek axiomatics. It is this interplay that lends a special flavor to much of the early as well as some of the later history of the axiomatic method.
openaire +1 more source
The Handbook of Economic Methodology is a major multidisciplinary reference work on the developing field of economic methodology.
Luca Salasnich, Francesco Lorenzi
openaire +3 more sources
Luca Salasnich, Francesco Lorenzi
openaire +3 more sources
Journal of Philosophical Logic, 2001
The author defines a formal language AQT (axiomatic quantum theory) whose terms are built from three kinds of variables (scalars, vectors, operators), and among others Dirac's ``kets'' and ``bras''. The axioms are chosen such that elementary properties of operator variables for instance can be derived.
openaire +1 more source
The author defines a formal language AQT (axiomatic quantum theory) whose terms are built from three kinds of variables (scalars, vectors, operators), and among others Dirac's ``kets'' and ``bras''. The axioms are chosen such that elementary properties of operator variables for instance can be derived.
openaire +1 more source
Axiomatizing Kolmogorov Complexity
Theory of Computing Systems, 2012zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Axiomatizations of backtracking
1992Goal schemes are terms built from a set of variables (representing goals) and the control structures {false, true, or, and} to which we give a sequential a la Prolog interpretation. We study equivalence relations induced by some interesting classes of elementary goals.
openaire +3 more sources