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 条
  • [41] Towards a generalization of self-localization
    Universität Bremen, Cognitive Systems, SFB-TR 8, Bremen, Germany
    不详
    [J]. Springer Tracts Adv. Rob., 2008, (105-134):
  • [42] TOWARDS A GENERALIZATION OF THE SEPARATION OF VARIABLES TECHNIQUE
    Doschoris, Michael
    [J]. METHODS AND APPLICATIONS OF ANALYSIS, 2012, 19 (04) : 381 - 402
  • [43] Towards Understanding Convergence and Generalization of AdamW
    Zhou, Pan
    Xie, Xingyu
    Lin, Zhouchen
    Yan, Shuicheng
    [J]. IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, 2024, 46 (09) : 6486 - 6493
  • [44] THE LOGIC OF GENERALIZATION - 5 PRINCIPLES COMMON TO EXPERIMENTS AND ETHNOGRAPHIES
    SHADISH, WR
    [J]. AMERICAN JOURNAL OF COMMUNITY PSYCHOLOGY, 1995, 23 (03) : 419 - 428
  • [45] Epistemological Groundings: Searchin' for the Words
    Callier, Durell M.
    [J]. QUALITATIVE INQUIRY, 2011, 17 (09) : 815 - 818
  • [46] TOWARDS A RECONCILIATION OF FUZZY-LOGIC AND STANDARD LOGIC
    FOX, J
    [J]. INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1981, 15 (02): : 213 - 220
  • [47] TOWARDS RACES IN LINEAR LOGIC
    Kokke, Wen
    Morris, J. Garrett
    Wadler, Philip
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2020, 16 (04) : 1 - 16
  • [48] Towards a Logic of Perishable Propositions
    Flavio Soares Correa da Silva
    [J]. Applied Intelligence, 2005, 23 : 121 - 130
  • [49] TOWARDS INTUITIONISTIC DYNAMIC LOGIC
    Degen, J. W.
    Werner, J. M.
    [J]. LOGIC AND LOGICAL PHILOSOPHY, 2006, 15 (04) : 305 - 324
  • [50] Towards Algebraic Separation Logic
    Dang, Han-Hing
    Hoefner, Peter
    Moeller, Bernhard
    [J]. RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2009, 5827 : 59 - 72
12345