Prawitz-Doorman Term Existence Property を超直観主義述語論理で考える (証明論と複雑性)
スポンサーリンク
概要
- 論文の詳細を見る
- 2013-04-00
著者
関連論文
- 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 を超直観主義述語論理で考える (証明論と複雑性)