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
    No aliases defined
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