Cut-free sequent calculi for Visser's propositional logics

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

Search this article

Journal

  • Research report

    Research report 99 1-12, 1999-11-10

    Japan Advanced Institute of Science and Technology

Details 詳細情報について

  • CRID
    1571698601720762624
  • NII Article ID
    110000570859
  • NII Book ID
    AN10495756
  • ISSN
    09187553
  • Text Lang
    en
  • Data Source
    • CiNii Articles

Report a problem

Back to top