structural rule (Q4548693)

From Wikidata
Jump to: navigation, search
inference rule that does not refer to any logical connective, but instead operates on the judgment or sequents directly
edit
Language Label Description Also known as
English
structural rule
inference rule that does not refer to any logical connective, but instead operates on the judgment or sequents directly

    Statements

     
    edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit