Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

27 relations
Abstract state machinesBelief–desire–intention software modelBurrows–Abadi–Needham logicBusy beaver

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
A theory of contracts for web services
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a… 
Highly Cited
2005
Highly Cited
2005
Conditional Risk Mappings
We introduce an axiomatic definition of a conditional convex risk mapping and we derive its properties. In particular, we prove a… 
Highly Cited
2004
Highly Cited
2004
Constructive and axiomatic approaches of fuzzy approximation operators
Highly Cited
2003
Highly Cited
2003
What Conditional Probability Could Not Be
AbstractKolmogorov's axiomatization of probability includes the familiarratio formula for conditional probability: $$({\text… 
Highly Cited
1992
Highly Cited
1992
Fisher ideal output, input, and productivity indexes revisited
A productivity index for a firm is generally defined as an output index divided by an input index. The first part of the paper… 
Highly Cited
1991
Highly Cited
1991
A Unified High-Level Petri Net Formalism for Time-Critical Systems
The authors introduce a high-level Petri net formalism-environment/relationship (ER) nets-which can be used to specify control… 
Highly Cited
1990
Highly Cited
1990
Hedge algebras: an algebraic approach to structure of sets of linguistic truth values
Highly Cited
1984
Highly Cited
1984
On the theory of option pricing
The objective of this article is to provide an axiomatic framework in order to define the concept of value function for risky… 
Highly Cited
1982
Highly Cited
1982
Inclusion dependencies and their interaction with functional dependencies
Inclusion dependencies, or INDs (which can say, for example, that every manager is an employee) are studied, including their… 
Highly Cited
1965
Highly Cited
1965
On axiom systems of propositional calculi, XX
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)