Results 151 to 160 of about 506 (185)
Some of the next articles are maybe not open access.
Hilbert's axiomatic method and Carnap's general axiomatics
Studies in History and Philosophy of Science Part A, 2015This paper compares the axiomatic method of David Hilbert and his school with Rudolf Carnap's general axiomatics that was developed in the late 1920s, and that influenced his understanding of logic of science throughout the 1930s, when his logical pluralism developed.
openaire +2 more sources
2011
In the literature, different axiomatizations of Public Announcement Logic (PAL) were proposed. Most of these axiomatizations share a 'core set' of the so-called reduction axioms. In particular, there is a composition axiom which stipulates how two consecutive announcements are composed into one. In this paper, by designing non-standard Kripke semantics
openaire +1 more source
In the literature, different axiomatizations of Public Announcement Logic (PAL) were proposed. Most of these axiomatizations share a 'core set' of the so-called reduction axioms. In particular, there is a composition axiom which stipulates how two consecutive announcements are composed into one. In this paper, by designing non-standard Kripke semantics
openaire +1 more source
On the axiomatization of the τ-value
Top, 1995zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Calvo, E. +3 more
openaire +2 more sources
Axiomatization of an Orthologic of Indeterminacy
Journal of Philosophical LogiczbMATH Open Web Interface contents unavailable due to conflicting licenses.
Samuel C. Fletcher, David E. Taylor
openaire +2 more sources
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
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
Differential Equation Invariance Axiomatization
Journal of the ACM, 2020Yong Kiam Tan, André Platzer
exaly