Skip to search formSkip to main contentSkip to account menu

Admissible rule

Known as: Admissible inference rule, Inadmissible inference rule, Projective approximation 
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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

26 relations
AlgorithmComputational complexity theoryCut ruleDecision theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
W2E — Wellness Warehouse Engine for semantic interoperability of consumer health data
Novel health monitoring devices and applications allow consumers easy and ubiquitous ways to monitor their health status. However… 
Review
2008
Review
2008
Constructing of Mappings of Heterogeneous Information Models into the Canonical Models of Integrated Information Systems
The paper proposes an approach for semi-automatic construction of mappings of information models of heterogeneous information… 
2006
2006
Bounded Second-Order Unification Is NP-Complete
Bounded Second-Order Unification is the problem of deciding, for a given second-order equation ${t {\stackrel{_?}=} u}$ and a… 
Highly Cited
2005
Highly Cited
2005
Avant Angkor : Découvertes récentes
Patiemment reconstituee par un siecle d'etudes basees principalement sur l'epigraphie et l'etude architecturale et stylistique… 
2005
2005
Extracting Latent Weblog Communities-A Partitioning Algorithm for Bipartite Graphs -
Abstract: I propose the concept of a latent weblog community (LBC), as a means to promote the autonomous organization of… 
2003
2003
Deterministic Second-order Patterns in Program Transformation
Higher-order patterns, together with higher-order matching, enable concise specification of program transformation, and have been… 
2003
2003
The barrier of objects : From dynamical systems to bounded organizations
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… 
2002
2002
Recovering 3D metric structure and motion from multiple uncalibrated cameras
An optimized linear factorization method for recovering both the 3D geometry of a scene and the camera parameters from multiple… 
2002
2002
THE EFFECTS OF GLOBALIZATION ON INEQUALITY : A CROSS-NATIONAL ANALYSIS
Why does globalization produce income inequality? Over the last twenty years we have seen a steep rise in income inequality… 
1975
1975
Structural completeness of the first-order predicate calculus
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)