Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Admissible_rule> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items per page.
- Admissible_rule abstract "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. In other words, every formula that can be derived using that rule is already derivable without that rule, so, in a sense, it is redundant. The concept of an admissible rule was introduced by Paul Lorenzen (1955).".
- Admissible_rule wikiPageExternalLink 1183745815.
- Admissible_rule wikiPageExternalLink 1183746371.
- Admissible_rule wikiPageExternalLink 318wolter.pdf.
- Admissible_rule wikiPageExternalLink p129.ps.gz.
- Admissible_rule wikiPageExternalLink 2586506.
- Admissible_rule wikiPageExternalLink 2694922.
- Admissible_rule wikiPageExternalLink these.pdf.
- Admissible_rule wikiPageID "1151794".
- Admissible_rule wikiPageRevisionID "581651194".
- Admissible_rule hasPhotoCollection Admissible_rule.
- Admissible_rule subject Category:Modal_logic.
- Admissible_rule subject Category:Rules_of_inference.
- Admissible_rule type Abstraction100002137.
- Admissible_rule type Cognition100023271.
- Admissible_rule type Concept105835747.
- Admissible_rule type Content105809192.
- Admissible_rule type Idea105833840.
- Admissible_rule type PsychologicalFeature100023100.
- Admissible_rule type Rule105846054.
- Admissible_rule type RulesOfInference.
- Admissible_rule comment "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. In other words, every formula that can be derived using that rule is already derivable without that rule, so, in a sense, it is redundant. The concept of an admissible rule was introduced by Paul Lorenzen (1955).".
- Admissible_rule label "Admissible rule".
- Admissible_rule label "Gültige Regel".
- Admissible_rule sameAs Gültige_Regel.
- Admissible_rule sameAs m.04br16.
- Admissible_rule sameAs Q1560157.
- Admissible_rule sameAs Q1560157.
- Admissible_rule sameAs Admissible_rule.
- Admissible_rule wasDerivedFrom Admissible_rule?oldid=581651194.
- Admissible_rule isPrimaryTopicOf Admissible_rule.