Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,046,934 papers from all fields of science
Search
Sign In
Create Free Account
Axiomatic system
Known as:
Axiomatization
, Axiomatic method
, Axiomatic theory
Expand
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
27 relations
Abstract state machines
Belief–desire–intention software model
Burrows–Abadi–Needham logic
Busy beaver
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence
Sara Miner More
,
Pavel Naumov
,
Benjamin Sapp
Annual Conference for Computer Science Logic
2011
Corpus ID: 14421003
Independence between two sets of random variables is a well-known relation in probability theory. Its origins trace back to…
Expand
2008
2008
Axioms for the norm residue isomorphism
C. Weibel
2008
Corpus ID: 231408
We give an axiomatic framework for proving that the norm residue map is an isomorphism (i.e., for settling the motivic Bloch-Kato…
Expand
Highly Cited
2006
Highly Cited
2006
SOME AXIOMATIZATIONS OF B-ALGEBRAS
A. Walendziak
2006
Corpus ID: 124870772
Some systems of axioms defining a B-algebra are given with a proof of the independence of the axioms. In addition, we obtain a…
Expand
2000
2000
Agent-BDI Logic
Hu Shan-li
2000
Corpus ID: 63589915
In this paper, it is demonstrated that the logic tool used in agent formalized d epiction should be the mixed modal logic which…
Expand
1997
1997
T × W Completeness
F. Kutschera
Journal of Philosophical Logic
1997
Corpus ID: 43224550
T × W logic is a combination of tense and modal logic for worlds or histories with the same time order. It is the basis for…
Expand
1993
1993
Actions, beliefs and intentions in multi-action utterances
C. Balkanski
1993
Corpus ID: 61035569
Multi-action utterances convey critical information about agents' beliefs and intentions with respect to the actions they talk…
Expand
Review
1991
Review
1991
Disunification: A Survey.
H. Comon
1991
Corpus ID: 118923989
Solving an equation in an algebra of terms is known as uniication. Solving more complex formulas combining equations and…
Expand
1982
1982
An enlarged definition and complete axiomatization of observational congruence of finite processes
Philippe Darondeau
Symposium on Programming
1982
Corpus ID: 26364281
The paper is addressed to determine an adequate notion of observational equivalence of finite processes, and to give a complete…
Expand
1980
1980
Knowledge Embedding in the Description System Omega
C. Hewitt
,
Giuseppe Attardi
,
M. Simi
AAAI Conference on Artificial Intelligence
1980
Corpus ID: 23104595
Omega is a description system for knowledge embedding which combines mechanisms of the predicate calculus, type systems, and…
Expand
1969
1969
Dense and Non-Dense Families of Complexity Classes
A. Borodin
,
R. Constable
,
J. Hopcroft
Scandinavian Workshop on Algorithm Theory
1969
Corpus ID: 1379776
Let Φ be any abstract measure of computational complexity, and let L denote the specific measure of memory resource (tape) on one…
Expand