FORMAL SEMANTICS AND THE EXISTENCE OF SETS

被引：1
|
作者：
JUBIEN, M
机构：
来源：
NOUS | 1981年 / 15卷 / 02期
关键词：
D O I：
10.2307/2215322
中图分类号：
B [哲学、宗教];
学科分类号：
01 ; 0101 ;
摘要：
引用
收藏
页码：165 / 176
页数：12
相关论文
共 50 条
  • [21] A Formal Semantics for Brahms
    Stocker, Richard
    Sierhuis, Maarten
    Dennis, Louise
    Dixon, Clare
    Fisher, Michael
    COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2011, 6814 : 259 - 274
  • [22] Pragmatics for Formal Semantics
    Danvy, Olivier
    ACM SIGPLAN NOTICES, 2012, 47 (03) : 93 - 93
  • [23] Distributivity in Formal Semantics
    Champollion, Lucas
    ANNUAL REVIEW OF LINGUISTICS, VOL 5, 2019, 5 : 289 - 308
  • [24] Existence: Semantics and syntax
    Francez, Itamar
    McNally, Louise
    JOURNAL OF LINGUISTICS, 2010, 46 (02) : 493 - 499
  • [25] ON THE EXISTENCE OF COOK SEMANTICS
    DEBRUIN, A
    SIAM JOURNAL ON COMPUTING, 1984, 13 (01) : 1 - 13
  • [26] Challenges in Bridging Social Semantics and Formal Semantics on the Web
    Gandon, Fabien
    Buffa, Michel
    Cabrio, Elena
    Corby, Olivier
    Faron-Zucker, Catherine
    Giboin, Alain
    Le Thanh, Nhan
    Mirbel, Isabelle
    Sander, Peter
    Tettamanzi, Andrea
    Villata, Serena
    ENTERPRISE INFORMATION SYSTEMS, ICEIS 2013, 2014, 190 : 3 - 15
  • [27] A Framework for Distributional Formal Semantics
    Venhuizen, Noortje J.
    Hendriks, Petra
    Crocker, Matthew W.
    Brouwer, Harm
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2019), 2019, 11541 : 633 - 646
  • [28] A formal semantics for program debugging
    Li Wei
    Li Ning
    SCIENCE CHINA-INFORMATION SCIENCES, 2012, 55 (01) : 133 - 148
  • [29] Issues in the formal semantics of referentiality
    De Oliveira, Roberta Pires
    Foltran, Maria Jose
    De Swart, Henriette
    Doetjes, Jenny
    JOURNAL OF PORTUGUESE LINGUISTICS, 2015, 14 (01): : 3 - 6
  • [30] FORMAL SEMANTICS FOR DATABASE SCHEMAS
    SIMOVICI, DA
    STEFANESCU, DC
    INFORMATION SYSTEMS, 1989, 14 (01) : 65 - 77
12345