(Q28381790)

English

admissibility of an inference rule

relationship between inference rules and the logics in which it is valid

In more languages
default for all languages
No label defined

No description defined

Statements

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit