A Proximity-Based Understanding of Conditionals

被引：0
|
作者：
de Araujo Fernandes, Ricardo Queiroz [1 ,2 ]
Haeusler, Edward Hermann [1 ,2 ]
Pinheiro Dias Pereira, Luiz Carlos [1 ,2 ]
机构：
[1] Brazilian Army, Syst Dev Ctr, Brasilia, DF, Brazil
[2] Pontificia Univ Catolica Rio de Janeiro, Rio De Janeiro, RJ, Brazil
来源：
TRANSACTIONS ON LARGE-SCALE DATA- AND KNOWLEDGECENTERED SYSTEMS XXXIV: SPECIAL ISSUE ON CONSISTENCY AND INCONSISTENCY IN DATA-CENTRIC APPLICATIONS | 2017年 / 10620卷
关键词：
Conditionals; Counterfactual logic; Natural deduction;
D O I：
10.1007/978-3-662-55947-5_6
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The aim of the present paper is to introduce a new logic, PUC-Logic, which will be used to give a systematic account of well-known counterfactuals conditionals on the basis of a concept of proximity. We will formulate a natural deduction system for PUC-Logic, the system PUC-ND, that will be shown to be sound and complete with respect to the semantics of PUC-Logic. We shall also prove that PUC-Logic is decidable and that the system PUC-ND satisfies the normalization theorem.
引用
收藏
页码：123 / 152
页数：30
相关论文
共 50 条
  • [1] On Proximity-Based Information Delivery
    Namiot, Dmitry
    Sneps-Sneppe, Manfred
    [J]. DISTRIBUTED COMPUTER AND COMMUNICATION NETWORKS (DCCN 2018), 2018, 919 : 83 - 94
  • [2] Proximity-Based Opinion Retrieval
    Gerani, Shima
    Carman, Mark J.
    Crestani, Fabio
    [J]. SIGIR 2010: PROCEEDINGS OF THE 33RD ANNUAL INTERNATIONAL ACM SIGIR CONFERENCE ON RESEARCH DEVELOPMENT IN INFORMATION RETRIEVAL, 2010, : 403 - 410
  • [3] On a Proximity-Based Tolerant Inclusion
    Bose, Patrick
    HadjAli, Allel
    Pivert, Olivier
    [J]. NEW DIMENSIONS IN FUZZY LOGIC AND RELATED TECHNOLOGIES, VOL II, PROCEEDINGS, 2007, : 343 - 350
  • [4] Proximity-based unification theory
    Julian-Iranzo, Pascual
    Rubio-Manzano, Clemente
    [J]. FUZZY SETS AND SYSTEMS, 2015, 262 : 21 - 43
  • [5] On the performance of proximity-based services
    Kurt, Gunes Karabulut
    [J]. WIRELESS COMMUNICATIONS & MOBILE COMPUTING, 2013, 13 (15): : 1397 - 1405
  • [6] ProxyFAUG: Proximity-based Fingerprint Augmentation
    Anagnostopoulos, Grigorios G.
    Kalousis, Alexandros
    [J]. INTERNATIONAL CONFERENCE ON INDOOR POSITIONING AND INDOOR NAVIGATION (IPIN 2021), 2021,
  • [7] Proximity-based groupcast in MANET (GiM)
    A. G. Kiryanov
    A. I. Lyakhov
    P. O. Nekrasov
    D. A. Platov
    A. A. Safonov
    R. U. Feizkhanov
    E. M. Khorov
    A. M. Tsyganova
    [J]. Journal of Communications Technology and Electronics, 2012, 57 : 1303 - 1313
  • [8] An Efficient Proximity-based Unification Algorithm
    Julian-Iranzo, Pascual
    Saenz-Perez, Fernando
    [J]. 2018 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE), 2018,
  • [9] A PROXIMITY-BASED APPROACH TO ASSESSING HABITAT
    RICKERS, JR
    QUEEN, LP
    ARTHAUD, GJ
    [J]. LANDSCAPE ECOLOGY, 1995, 10 (05) : 309 - 321
  • [10] Proximity-Based Modalities for Biology and Medicine
    Liu, Xingui
    Ciulli, Alessio
    [J]. ACS CENTRAL SCIENCE, 2023, 9 (07) : 1269 - 1284
12345