Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00281170n
Noun Concept
Categories: Modal logic, Rules of inference
EN
admissible rule  Admissible inference rule  Inadmissible inference rule  Projective approximation  projective formula
EN
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 existing rules of the system. Wikipedia
Definitions
Relations
Sources
EN
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 existing rules of the system. Wikipedia
Logic reasoning rule that is correctly usable is some logic Wikidata
FACET OF
logic
Wikipedia
EN
admissible rule
Wikidata
EN
admissible rule
Wikipedia Redirections
EN
Admissible inference rule, Inadmissible inference rule, Projective approximation, projective formula, Structural completeness, structurally complete, Unifier

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License