About: Cut rule

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Inference rule, generalisation of the modus ponens, in sequent calculus

Property Value
dbo:description
  • inferencoregulo en sekvaĵa kalkulo (eo)
  • règle d'inférence du calcul des séquent, géneralisation du modus ponens (fr)
  • правило сечений в теории доказательств (ru)
  • inference rule, generalisation of the modus ponens, in sequent calculus (en)
  • pravilo sklepanja; posplošitev modusa ponensa, v sekvenčnem računu (sl)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
rdfs:label
  • Cut rule (en)
  • Règle de coupure (fr)
  • Regra do corte (pt)
  • Сечение (теория доказательств) (ru)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International