The Logic of Information Merge and Sequential Information

被引：0
|
作者：
Kamide, Norihiro [1 ]
机构：
[1] Cyber Univ, Fac Informat Technol & Business, Minato Ku, Tokyo 1050011, Japan
来源：
2013 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC 2013) | 2013年
关键词：
D O I：
10.1109/SMC.2013.319
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The logic LMS of information merge and sequential information is introduced as a Gentzen-type sequent calculus. LMS has a specific inference rule called the mingle, which can suitably represent information merge processes. LMS has also a specific modal operator called the sequence modal operator, which can suitably represent sequential information. The completeness and cut-elimination theorems for LMS are proved as the main result of this paper. LMS is also shown to be useful for representing relational databases.
引用
收藏
页码：1853 / 1858
页数：6
相关论文
共 50 条
  • [31] The information in intuitionistic logic
    van Benthem, Johan
    SYNTHESE, 2009, 167 (02) : 251 - 270
  • [32] Life, logic and information
    Paul Nurse
    Nature, 2008, 454 : 424 - 426
  • [33] A MODAL LOGIC OF INFORMATION
    Misiuna, Krystyna
    LOGIC AND LOGICAL PHILOSOPHY, 2012, 21 (01) : 33 - 51
  • [34] The information in intuitionistic logic
    Johan van Benthem
    Synthese, 2009, 167
  • [35] Logic and the Dynamics of Information
    Johan van Benthem
    Minds and Machines, 2003, 13 : 503 - 519
  • [36] Logic of Information Knowledge
    Arsenteva, Svetlana, I
    Stepanov, Alexey G.
    Kuzmin, Yuri A.
    Fedotov, Vasily
    EDUCATION EXCELLENCE AND INNOVATION MANAGEMENT: A 2025 VISION TO SUSTAIN ECONOMIC DEVELOPMENT DURING GLOBAL CHALLENGES, 2020, : 16649 - 16653
  • [37] Life, logic and information
    Nurse, Paul
    NATURE, 2008, 454 (7203) : 424 - 426
  • [38] A Logic for Information Systems
    Archangelsky D.A.
    Taitslin M.A.
    Studia Logica, 1997, 58 (1) : 3 - 16
  • [39] INFORMATION, LOGIC, AND PHYSICS
    ROTHSTEIN, J
    PHYSICAL REVIEW, 1952, 85 (04): : 722 - 722
  • [40] LOGIC AND THE ORGANIZATION OF INFORMATION
    van Hooland, Seth
    CATALOGING & CLASSIFICATION QUARTERLY, 2013, 51 (04) : 443 - 445
12345