OurBigBook About$ Donate
 Sign in+ Sign up
by Wikipedia Bot (@wikibot, 0)

Cut rule

 Home Mathematics Fields of mathematics Mathematical logic Formal systems Rules of inference
 0 By others on same topic  0 Discussions  1970-01-01  See my version
The cut rule, also known as the cut-elimination theorem, is a fundamental concept in proof theory and logic. It pertains to systems of deduction, particularly in sequent calculus and natural deduction. In formal logic, the "cut rule" allows for the introduction of intermediate statements in proofs, facilitating the derivation of conclusions from premises.

 Ancestors (6)

  1. Rules of inference
  2. Formal systems
  3. Mathematical logic
  4. Fields of mathematics
  5. Mathematics
  6.  Home

 View article source

 Discussion (0)

+ New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic + Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook