Pages that link to "Cut rule"

Showing 10 items.

• Structural rule (links | edit)
• Admissible rule (links | edit)
• Herbrand's theorem (links | edit)
• Resolution (logic) (links | edit)
• Stoic logic (links | edit)
• Hypersequent (links | edit)
• Glossary of logic (links | edit)
• Talk:Cut rule (transclusion) (links | edit)
• Wikipedia:WikiProject Mathematics/List of mathematics articles (A–C) (links | edit)
• Wikipedia:WikiProject Mathematics/List of mathematics articles (C) (links | edit)