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 条
  • [41] Logic Information Systems for logic programmers
    Ridoux, O
    LOGIC PROGRAMMING, PROCEEDINGS, 2003, 2916 : 3 - 19
  • [42] The Logic of Design as a Conceptual Logic of Information
    Luciano Floridi
    Minds and Machines, 2017, 27 : 495 - 519
  • [43] The Logic of Design as a Conceptual Logic of Information
    Floridi, Luciano
    MINDS AND MACHINES, 2017, 27 (03) : 495 - 519
  • [44] Exploitation and Merge of Information Sources for Public Procurement Improvement
    Nai, Roberto
    Sulis, Emilio
    Pasteris, Paolo
    Giunta, Mirko
    Meo, Rosa
    MACHINE LEARNING AND PRINCIPLES AND PRACTICE OF KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2022, PT I, 2023, 1752 : 89 - 102
  • [45] HEALTH-CARE BEGINS TO MERGE WITH THE INFORMATION HIGHWAY
    OREILLY, M
    CANADIAN MEDICAL ASSOCIATION JOURNAL, 1994, 151 (08) : 1173 - 1176
  • [46] VENDORS MERGE IN THEIR SEARCH FOR INTEGRATED INFORMATION-SYSTEMS
    HOLTHAUS, D
    HOSPITALS, 1987, 61 (15): : 68 - 69
  • [47] Split-merge classification information in video compression
    Carpentieri, Bruno
    PROCEEDINGS OF THE 9TH WSEAS INTERNATIONAL CONFERENCE ON AUTOMATION AND INFORMATION, 2008, : 135 - +
  • [48] Merge Mode for Deformable Block Motion Information Derivation
    Zhang, Na
    Fan, Xiaopeng
    Zhao, Debin
    Gao, Wen
    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS FOR VIDEO TECHNOLOGY, 2017, 27 (11) : 2437 - 2449
  • [49] A merge-based clustering approach for information retrieval
    Lee, WJ
    Chung, JS
    Lee, SJ
    7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL II, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING, 2003, : 250 - 255
  • [50] Fuzzy logic as a logic of the expressive strength of information
    Vetterlein, Thomas
    SOFT COMPUTING, 2008, 12 (05) : 479 - 485
12345