Results 141 to 150 of about 503 (185)
Some of the next articles are maybe not open access.
Axiomatization of the Nucleolus
Mathematics of Operations Research, 1995An axiomatization of the nucleolus on the set of all cooperative games with finite player set is provided. The nucleolus is shown to be completely characterized by singlevaluedness, anonymity, covariance and a new reduced game property.
openaire +1 more source
Social Choice and Welfare, 2012
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
M. Josune Albizuri, Annick Laruelle
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
M. Josune Albizuri, Annick Laruelle
openaire +1 more source
On the Axiomatization of “If-Then-Else”
SIAM Journal on Computing, 1987The paper gives an equational axiomatization of the ``if-then-else'' test which can be used to prove properties of (functional) programs by equational methods. Bloom and Tindell's one sorted axiomatization of ``if-then-else'' is generalized. The authors' algebraic axiomatization extends the completeness result of Bloom and Tindell to many-sorted ...
Guessarian, Irene, Meseguer, J.
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
International Journal of Man-Machine Studies, 1983
Various types of analogies that might exist between subject matters are defined and discussed. Subject matters are represented using axiomatically structured theories and the analogy is viewed as a functional relationship between two such theories.
openaire +1 more source
Various types of analogies that might exist between subject matters are defined and discussed. Subject matters are represented using axiomatically structured theories and the analogy is viewed as a functional relationship between two such theories.
openaire +1 more source
The axiomatization of arithmetic
Journal of Symbolic Logic, 1957I once asked myself the question: How were the famous axiom systems, such as Euclid's for geometry, Zermelo's for set theory, Peano's for arithmetic, originally obtained? This was to me more than merely a historical question, as I wished to know how the basic concepts and axioms were to be singled out, and, once they were singled out, how one could ...
openaire +1 more source
BIT, 1982
Most approaches to information modelling are so-called snapshot approaches. This means that they focus on static properties of a universe of discourse only. Some approaches consider the temporal dimension of a universe of discourse. In these approaches the concept of event is central.
openaire +2 more sources
Most approaches to information modelling are so-called snapshot approaches. This means that they focus on static properties of a universe of discourse only. Some approaches consider the temporal dimension of a universe of discourse. In these approaches the concept of event is central.
openaire +2 more sources
Journal of Symbolic Logic, 1977
The main purpose of this note is to present new semi-model-theoretic proofs of some axiomatization results. Principally, we prove the result of [van Dalen and Statman] on the axiomatization of the equality fragment of the intuitionistic theory of apartness by ω-fold stability axioms.
openaire +1 more source
The main purpose of this note is to present new semi-model-theoretic proofs of some axiomatization results. Principally, we prove the result of [van Dalen and Statman] on the axiomatization of the equality fragment of the intuitionistic theory of apartness by ω-fold stability axioms.
openaire +1 more source
AXIOMATIZATIONS OF INTERVAL LOGICS
Fundamenta Informaticae, 1995Interval logic has been introduced as a temporal logic that provides higher-level constructs and an intuitive graphical representation, making it easier in interval logic than in other temporal logics to specify and reason about concurrency in software and hardware designs.
George Kutty +4 more
openaire +2 more sources
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