Cut-free sequent calculi for Visser's propositional logics

この論文をさがす

著者

    • Kikuchi kentaro
    • School of Information Science, Japan Advanced Institute of Science and Te

収録刊行物

  • Research report

    Research report IS-RR-99-0030, 1-12, 1999-11-10

    北陸先端科学技術大学院大学

各種コード

  • NII論文ID(NAID)
    110000570859
  • NII書誌ID(NCID)
    AN10495756
  • 本文言語コード
    ENG
  • ISSN
    09187553
  • データ提供元
    NII-ELS 
ページトップへ