A Relationship Between Dual-Intuitionistic Logic and Nelson's Constructive Logic

機関リポジトリ (HANDLE) Web Site オープンアクセス

書誌事項

タイトル別名
  • A Relationship Between Dual-Intuitionistic Logic and Nelson's Constructive Logic (Sequent Calculi and Proof Theory)
  • Relationship Between Dual Intuitionistic Logic and Nelson s Constructive Logic

この論文をさがす

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ