Results 151 to 160 of about 503 (185)
Some of the next articles are maybe not open access.
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
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
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
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
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
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, 2020André Platzer, Yong Kiam Tan
exaly
The axiomatization of asymmetric disjunction and conjunction
Information Fusion, 2020Miroslav Hudec, Radko Mesiar
exaly
A finite axiomatization of positive MV-algebras
Algebra Universalis, 2022Marco Abbadini +2 more
exaly