Axiomatic system

Known as: Axiomatization, Axiomatic method, Axiomatic theory 
In mathematics, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. A… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1939-2018
05010015019392017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
In [She82], it is shown that four of its basic functional properties are enough to characterize plain Kolmogorov complexity… (More)
Is this relevant?
Highly Cited
2010
Highly Cited
2010
We present five axioms for fairness measures in resource allocation. A family of fairness measures satisfying the axioms is… (More)
  • table I
  • table II
  • figure 2
  • figure 1
  • table III
Is this relevant?
Highly Cited
2007
Highly Cited
2007
This paper axiomatizes the robust control criterion of multiplier preferences introduced by Hansen and Sargent (2001). The… (More)
  • figure 1
Is this relevant?
2003
2003
Axiomatic design is investigated as a design methodology for large or complex system design. Particular considerations of system… (More)
  • figure 1-1
  • table 2.1
  • figure 4-1
  • figure 4-2
  • table 4.1
Is this relevant?
Highly Cited
2002
Highly Cited
2002
In this paper we introduce the DOLCE upper level ontology, the first module of a Foundational Ontologies Library being developed… (More)
  • figure 1
  • table 1
  • figure 2
  • table 2
Is this relevant?
Highly Cited
1991
Highly Cited
1991
We show that the terminological logic ACC comprising Boolean operations on concepts and value restrictions is a notational… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
We give a nitary axiomatization of the algebra of regular events involving only equations and equational implications Unlike Salo… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Concurrent constraint programming [Sar89 ,SR90] is a simple and powerful model of concurrent computation based on the notions of… (More)
Is this relevant?
Highly Cited
1989
Highly Cited
1989
We consider two approaches to giving semantics to first order logics of probability. The first approach puts a probability on the… (More)
Is this relevant?
Highly Cited
1976
Highly Cited
1976
An axiomatic method for proving a number of properties of parallel programs is presented. Hoare has given a set of axioms for… (More)
Is this relevant?