Wikidata

(Q18400501)

English

cut rule

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

In more languages

Statements

subclass of
inference
0 references
part of
sequent calculus
0 references
studied in
proof theory
0 references
defining formula
0 references

Identifiers

Freebase ID
/m/012zdq4g
0 references
nLab ID
cut rule
0 references
 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  Retrieved from "https://www.wikidata.org/w/index.php?title=Q18400501&oldid=2025147693"