Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,283,144 papers from all fields of science
Search
Sign In
Create Free Account
Admissible rule
Known as:
Admissible inference rule
, Inadmissible inference rule
, Projective approximation
Expand
In logic, a rule of inference is admissible in a formal system if the set of theorems of the system does not change when that rule is added to the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
26 relations
Algorithm
Computational complexity theory
Cut rule
Decision theory
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Ein Paradigmenwechsel im französischen Europadiskurs – Auswirkungen für das deutsch-französische Tandem in der EU?
Anja Thomas
2018
Corpus ID: 69700185
Emmanuel Macron has presented a number of speeches on the future of the EU which point to a fundamental change of paradigm in the…
Expand
2013
2013
Corporate Strategies in the Spread of Hallyu (Korean Wave) in Indonesia
Citra henndia
2013
Corpus ID: 53998347
Artikel ini membahas strategi korporasi untuk meraih lebih banyak keuntungan dengan memanfaatkanperubahan-perubahan yang dibawa…
Expand
2007
2007
Realizing Substitution Instances of Modal Theorems
Melvin Fitting
2007
Corpus ID: 15268962
Suppose X is a theorem of S4, and a realization for X has been constructed. If X ′ is a substitution instance of X, it is also a…
Expand
Highly Cited
2005
Highly Cited
2005
Avant Angkor : Découvertes récentes
Christophe Pottier
2005
Corpus ID: 193450594
Patiemment reconstituee par un siecle d'etudes basees principalement sur l'epigraphie et l'etude architecturale et stylistique…
Expand
2004
2004
History of the Joint Chiefs of Staff: The Joint Chiefs of Staff and the First Indochina War, 1947-1954
Walton S. Moody
,
W. S. Poole
,
David A. Armstrong
2004
Corpus ID: 153626311
Abstract : Established during World War II to advise the President regarding the strategic direction of the Armed Forces of the…
Expand
2003
2003
The barrier of objects : From dynamical systems to bounded organizations
A. Karlqvist
2003
Corpus ID: 27600545
ion Ax ∪ {x : τ ′} e : τ A λx.e : τ ′ → τ Let A e : σ Ax ∪ {x : σ} e′ : τ A (let x = e in e′) : τ The meaning of the Taut-rule is…
Expand
1997
1997
Syntactic Invariants
E. Keenan
,
E. Stabler
1997
Corpus ID: 16694886
Generative grammar is primarily concerned with modeling the structure of languages and their expressions. A proposed grammar G…
Expand
1996
1996
Neanderthal Museum, Mettman, muséographie
D. Schmitt
,
Christian Creutz
1996
Corpus ID: 192746324
Le Neanderthal Museum situe a Mettman en Allemagne a ete construit sur le site historique de la decouverte des ossements de l…
Expand
1996
1996
An Algorithm for the Retrieval of Unifiers from Discrimination Trees
H. de Nivelle
Journal of automated reasoning
1996
Corpus ID: 6748854
We present a modification of the unification algorithm that is adapted to the extraction of simultaneously unifiable literals…
Expand
1993
1993
Reference expertise: paradigms, strategies, and systems
L. McCrank
1993
Corpus ID: 62139297
L'evolution des services de references des biliotheques vers l'utilisation d'outils automatises, applications de l'intelligence…
Expand