線形論理と論理プログラミング Linear Logic and Logic Programming

この論文をさがす

著者

抄録

Girardによる線形論理は,計算機科学の様々な分野への応用が期待されている新しい論理体系である.線形論理に基づく論理型言語の研究は,特に活発な分野の一つであり,LO,LinLog,ACL,Lolli,Lygon,Forum,LLP等の言語が提案されている.本稿では,線形論理および線形論理プログラミングの概要について述べる.

Linear logic developed by Girard is a new logic system expected to be applied for various fields in computer science. There have been several proposals for logic programming language based on linear logic: LO, LinLog, ACL, Lolli, Lygon, Forum, and LLP. This paper describes the overview of linear logic and linear logic programming.

収録刊行物

  • 電子情報通信学会技術研究報告. AI, 人工知能と知識処理

    電子情報通信学会技術研究報告. AI, 人工知能と知識処理 102(91), 37-42, 2002-05-17

    一般社団法人電子情報通信学会

参考文献:  40件中 1-40件 を表示

各種コード

  • NII論文ID(NAID)
    110003176879
  • NII書誌ID(NCID)
    AN10013061
  • 本文言語コード
    JPN
  • 資料種別
    REV
  • ISSN
    09135685
  • NDL 記事登録ID
    6187257
  • NDL 雑誌分類
    ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
  • NDL 請求記号
    Z16-940
  • データ提供元
    CJP書誌  NDL  NII-ELS 
ページトップへ