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]