Algebraic Kripke sheaf semantics for super-intuitionistic predicate logics(Non-Classical Logics and Their Kripke Semantics)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 鈴木 信行

  静岡大学理学部数学教室

• 鈴木 信行

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

関連論文

• Remarks on Shimura's oracle cut elimination and Kripke sheaf semantics for modal predicate logics : An interim report (Sequent Calculi and Proof Theory)
• 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)
• Remarks on Shimura's oracle cut elimination and Kripke sheaf semantics for modal predicate logics : An interim report (Sequent Calculi and Proof Theory)
• Remarks on Shimura's oracle cut elimination and Kripke sheaf semantics for modal predicate logics : An interim report (Sequent Calculi and Proof Theory)
• Remarks on Shimura's oracle cut elimination and Kripke sheaf semantics for modal predicate logics : An interim report (Sequent Calculi and Proof Theory)
• A.M.Mathai,S.B.Provost and T.Hayakawa:Bilinear Forms and Zonal Polynomials
• Prawitz-Doorman Term Existence Property を超直観主義述語論理で考える (証明論と複雑性)

スポンサーリンク