Sequent calculusとKripke semanticsに基づく非古典論理学の研究

CiNii Available at 3 libraries

Bibliographic Information

Title
"Sequent calculusとKripke semanticsに基づく非古典論理学の研究"
Publisher
  • 京都大学数理解析研究所
Publication Year
  • 1997.12
Book size
26cm
Other Title
  • Sequent calculus ト Kripke semantics ニ モトズク ヒコテン ロンリガク ノ ケンキュウ

Search this Book/Journal

Notes

短期共同研究報告集 : 1997.7.9-11 / 研究代表者, 志村立矢

Related Books

See more

Details 詳細情報について

  • CRID
    1130000797461893888
  • NII Book ID
    BA33900215
  • Country Code
    ja
  • Title Language Code
    ja
  • Place of Publication
    • 京都
  • Data Source
    • CiNii Books
Back to top