CORE

🇺🇦   make metadata, not war

    2 research outputs found

    Sequent Calculi for Visser's Propositional Logics

    Author
      Publication venue
      'Notre Dame Journal of Formal Logic'
      Publication date
      Field of study
      No full text
      Crossref

      Cut-free sequent calculi for Visser's propositional logics

      Author
      Publication venue
      北陸先端科学技術大学院大学情報科学研究科
      Publication date
      Field of study
      No full text
      リサーチレポート（北陸先端科学技術大学院大学情報科学研究科）本文は図書館に配架されています。 / This material is stored in the JAIST library
      JAIST Repository
      corecore