鈴木 信行 | Department of Computer and Information Sciences, Faculty of Engineering, Ibaraki University

スポンサーリンク

概要

• 同名の論文著者
• Department of Computer and Information Sciences, Faculty of Engineering, Ibaraki Universityの論文著者

関連著者

• 鈴木 信行

  静岡大学理学部数学教室

• 鈴木 信行

  Department of Computer and Information Sciences, Faculty of Engineering, Ibaraki University

著作論文

• An application of the Kripke sheaf semantics in intermediate predicate logics(New Aspects in Non-Classical Logics and Their Kripke Semantics)
• Algebraic Kripke sheaf semantics for super-intuitionistic predicate logics(Non-Classical Logics and Their Kripke Semantics)

スポンサーリンク