Formal semantics and natural language

被引：0
|
作者：
Kusly, P. S.
机构：
来源：
VOPROSY FILOSOFII | 2013年 / 08期
关键词：
formal semantics; intensional logic; formal grammar; philosophy of language; natural language; Frege; Motague; Chomsky;
D O I：
暂无
中图分类号：
B [哲学、宗教];
学科分类号：
01 ; 0101 ;
摘要：
引用
收藏
页码：105 / 117
页数：13
相关论文
共 50 条
  • [31] A formal semantics of the MULTI-ML language
    Allombert, Victor
    Gava, Frederic
    Tesson, Julien
    2018 17TH INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED COMPUTING (ISPDC), 2018, : 180 - 187
  • [32] A Formal Semantics for a Quality of Service Contract Language
    Braga, Christiano
    Chalub, Fabricio
    Sztajnberg, Alexandre
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 203 (07) : 103 - 120
  • [33] Formal semantics of an IoT-specific language
    Cacciagrano, Diletta Romana
    Culmone, Rosario
    2018 32ND INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS WORKSHOPS (WAINA), 2018, : 579 - 584
  • [34] Formal semantics of a classical-quantum language
    Deng, Yuxin
    Feng, Yuan
    THEORETICAL COMPUTER SCIENCE, 2022, 913 : 73 - 93
  • [35] Formal semantics for an abstract agent programming language
    Hindriks, KV
    de Boer, FS
    van der Hoek, W
    Meyer, JJC
    INTELLIGENT AGENTS IV: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 1998, 1365 : 215 - 229
  • [36] Formal Action Semantics for a UML Action Language
    Yang, Mikai
    Michaelson, Greg J.
    Pooley, Rob J.
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2008, 14 (21) : 3608 - 3624
  • [37] FORMAL SEMANTICS OF THE UNIFIED MODELING LANGUAGE LU
    HONG, SN
    MANNINO, MV
    DECISION SUPPORT SYSTEMS, 1995, 13 (3-4) : 263 - 293
  • [38] On the Formal Semantics of MiniMaple and its Specification Language
    Khan, Muhammad Taimoor
    10TH INTERNATIONAL CONFERENCE ON FRONTIERS OF INFORMATION TECHNOLOGY (FIT 2012), 2012, : 169 - 174
  • [39] Abstraction and natural language semantics
    Kayser, D
    PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY OF LONDON SERIES B-BIOLOGICAL SCIENCES, 2003, 358 (1435) : 1261 - 1268
  • [40] Database semantics for natural language
    Hausser, R
    ARTIFICIAL INTELLIGENCE, 2001, 130 (01) : 27 - 74
12345