Towards a generalization of the logic of groundings

被引：4
|
作者：
Poggiolesi, Francesca [1 ]
Francez, Nissim [2 ,3 ]
机构：
[1] IHPST, UMR8590, 13 Rue Four, F-75006 Paris, France
[2] Israel Inst Technol, Haifa, Israel
[3] Technion IIT, Dept Comp Sci, IL-32000 Haifa, Israel
来源：
THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA | 2021年 / 36卷 / 01期
关键词：
Grounding; logic; exclusive and ternary disjunction; NOTION;
D O I：
10.1387/theoria.21162
中图分类号：
N09 [自然科学史]; B [哲学、宗教];
学科分类号：
01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;
摘要：
The main goal of this paper is to provide a ground-analysis of two classical connectives that have so far been ignored in the literature, namely the exclusive disjunction, and the ternary disjunction. Such ground-analysis not only serves to extend the applicability of the logic of grounding but also leads to a generalization of Poggiolesi (2016)'s definition of the notion of complete and immediate grounding.
引用
收藏
页码：5 / 24
页数：20
相关论文
共 50 条
  • [1] GROUNDINGS
    VANDEREE, A
    [J]. JOURNAL OF THE INSTITUTE OF NAVIGATION, 1968, 21 (03): : 320 - &
  • [2] Introduction to Plithogenic Logic as generalization of MultiVariate Logic
    Smarandache, Florentin
    [J]. Neutrosophic Sets and Systems, 2021, 45 : 1 - 7
  • [3] FLOPPY LOGIC AS A GENERALIZATION OF STANDARD BOOLEAN LOGIC
    Provinsky, P.
    [J]. NEURAL NETWORK WORLD, 2020, 30 (03) : 193 - 209
  • [4] ON A GENERALIZATION OF VARIABLE PRECISION LOGIC
    YAGER, RR
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1990, 20 (01): : 248 - 252
  • [5] COLLISIONS AND GROUNDINGS
    DUNNE, AG
    [J]. JOURNAL OF NAVIGATION, 1972, 25 (01): : 113 - &
  • [6] GENERALIZATION AND PROGRAM-SCHEMATA - A STEP TOWARDS COMPUTER-AIDED CONSTRUCTION OF LOGIC PROGRAMS
    DEVILLE, Y
    BURNAY, J
    [J]. LOGIC PROGRAMMING : PROCEEDINGS OF THE NORTH AMERICAN CONFERENCE, 1989, VOL 1-2, 1989, : 409 - 425
  • [7] Towards Preventing Unnecessary Groundings in the Lifted Dynamic Junction Tree Algorithm
    Gehrke, Marcel
    Braun, Tanya
    Moeller, Ralf
    [J]. KI 2018: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2018, 11117 : 38 - 45
  • [8] Generalization of Fuzzy Logic for Incomplete Information
    poli, Venkata Subba Reddy
    [J]. 2016 INTERNATIONAL CONFERENCE ON FUZZY THEORY AND ITS APPLICATIONS (IFUZZY), 2016,
  • [9] Logic Synthesis for Generalization and Learning Addition
    Miyasaka, Yukio
    Zhang, Xinpei
    Yu, Mingfei
    Yi, Qingyang
    Fujita, Masahiro
    [J]. PROCEEDINGS OF THE 2021 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2021), 2021, : 1032 - 1037
  • [10] Convolutional Generalization of Fuzzy Logic Analysis
    Hires, Matej
    Habiballa, Hashim
    [J]. INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2018 (ICCMSE-2018), 2018, 2040
12345