Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,342,351 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.
2014
2014
Les disciplines dans l’enseignement bilingue. Apprentissage intégré des savoirs disciplinaires et linguistiques
Sílvia Melo-Pfeifer
2014
Corpus ID: 178385344
Les approches integratives des savoirs sont a l’ordre du jour. Que ce soit des approches plurielles aux langues et cultures…
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
2012
2012
Jointness in 1780 Charleston and 1861-1865 Charleston
J. Campbell
2012
Corpus ID: 108241881
Abstract : Jointness between army and naval forces has been the focus of many historical studies. Yet, it is often difficult to…
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
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