Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Cut_rule> ?p ?o }
Showing triples 1 to 27 of
27
with 100 triples per page.
- Cut_rule abstract "In mathematical logic, the cut rule is an inference rule of sequent calculus. It is a generalisation of the classical modus ponens inference rule. Its meaning is that, if a formula A appears as a conclusion in one proof and an hypothesis in another, then another proof in which the formula A does not appear can be deduced. In the particular case of the modus ponens, for example occurrences of man are eliminated of Every man is mortal, Socrates is a man to deduce Socrates is mortal.".
- Cut_rule wikiPageID "1038753".
- Cut_rule wikiPageLength "1108".
- Cut_rule wikiPageOutDegree "7".
- Cut_rule wikiPageRevisionID "656957067".
- Cut_rule wikiPageWikiLink Category:Logical_calculi.
- Cut_rule wikiPageWikiLink Category:Rules_of_inference.
- Cut_rule wikiPageWikiLink Cut-elimination_theorem.
- Cut_rule wikiPageWikiLink Mathematical_logic.
- Cut_rule wikiPageWikiLink Modus_ponens.
- Cut_rule wikiPageWikiLink Rule_of_inference.
- Cut_rule wikiPageWikiLink Sequent_calculus.
- Cut_rule wikiPageWikiLinkText "cut rule".
- Cut_rule wikiPageWikiLinkText "cut".
- Cut_rule wikiPageUsesTemplate Template:Math-stub.
- Cut_rule subject Category:Logical_calculi.
- Cut_rule subject Category:Rules_of_inference.
- Cut_rule hypernym Rule.
- Cut_rule type Country.
- Cut_rule type Redirect.
- Cut_rule comment "In mathematical logic, the cut rule is an inference rule of sequent calculus. It is a generalisation of the classical modus ponens inference rule. Its meaning is that, if a formula A appears as a conclusion in one proof and an hypothesis in another, then another proof in which the formula A does not appear can be deduced. In the particular case of the modus ponens, for example occurrences of man are eliminated of Every man is mortal, Socrates is a man to deduce Socrates is mortal.".
- Cut_rule label "Cut rule".
- Cut_rule sameAs Q19480970.
- Cut_rule sameAs m.012zdq4g.
- Cut_rule sameAs Q19480970.
- Cut_rule wasDerivedFrom Cut_rule?oldid=656957067.
- Cut_rule isPrimaryTopicOf Cut_rule.