線形論理と論理プログラミング  [in Japanese] Linear Logic and Logic Programming  [in Japanese]

Search this Article

Author(s)

Abstract

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.

Journal

  • IEICE technical report. Artificial intelligence and knowledge-based processing

    IEICE technical report. Artificial intelligence and knowledge-based processing 102(91), 37-42, 2002-05-17

    The Institute of Electronics, Information and Communication Engineers

References:  40

Codes

  • NII Article ID (NAID)
    110003176879
  • NII NACSIS-CAT ID (NCID)
    AN10013061
  • Text Lang
    JPN
  • Article Type
    REV
  • ISSN
    09135685
  • NDL Article ID
    6187257
  • NDL Source Classification
    ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
  • NDL Call No.
    Z16-940
  • Data Source
    CJP  NDL  NII-ELS 
Page Top