Cut-free sequent calculi for Visser's propositional logics

Search this Article

Author(s)

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

Journal

  • Research report

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

    Japan Advanced Institute of Science and Technology

Codes

  • NII Article ID (NAID)
    110000570859
  • NII NACSIS-CAT ID (NCID)
    AN10495756
  • Text Lang
    ENG
  • ISSN
    09187553
  • Data Source
    NII-ELS 
Page Top