FORMAL LOGIC AND LANGUAGE

被引：0

|

作者：

GORSKII, DP

机构：

来源：

SOVIET STUDIES IN PHILOSOPHY | 1963年 / 2卷 / 1-2期

关键词：

D O I：

10.2753/RSP1061-196702010249

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

引用

收藏

页码：49 / 68

页数：20

相关论文

共 50 条

[1] LAWS OF LANGUAGE USE AND FORMAL LOGIC
POLITZER, G
[J]. JOURNAL OF PSYCHOLINGUISTIC RESEARCH, 1986, 15 (01) : 47 - 92
[2] Generalizing Precisiated Natural Language: A Formal Logic as a Precisiation Language
Nakama, Takehiko
Munoz, Enrique
Ruspini, Enrique
[J]. PROCEEDINGS OF THE 8TH CONFERENCE OF THE EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY (EUSFLAT-13), 2013, 32 : 582 - 589
[3] Formal approaches and natural language in medieval logic
Sanmiguel Cuevas, Lucas
[J]. ANUARIO DE ESTUDIOS MEDIEVALES, 2020, 50 (01) : 537 - 537
[4] ELEMENTARY FORMAL SYSTEM AS A LOGIC PROGRAMMING LANGUAGE
YAMAMOTO, A
[J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 485 : 73 - 86
[5] Formal verification of a programming logic for a distributed programming language
Zhang, C
Olsson, RA
Levitt, KN
[J]. THEORETICAL COMPUTER SCIENCE, 1999, 216 (1-2) : 213 - 235
[6] Applying Formal Logic Validation to Enhance Natural Language Understanding
Marurngsith, Worawan
Weawsawangwong, Pakorn
[J]. 2019 8TH INTERNATIONAL CONFERENCE ON SOFTWARE AND COMPUTER APPLICATIONS (ICSCA 2019), 2019, : 380 - 384
[7] Informal Reasoning and Formal Logic: Normativity of Natural Language Reasoning
Smokrovic, Nenad
[J]. CROATIAN JOURNAL OF PHILOSOPHY, 2018, 18 (54) : 455 - 469
[8] FORMAL LANGUAGE FOR DESCRIBING MACHINE LOGIC TIMING + SEQUENCING ( LOTIS )
SCHLAEPPI, HP
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1964, EC13 (04) : 439 - &
[9] Rewriting logic semantics: From language specifications to formal analysis tools
Meseguer, J
Rosu, G
[J]. AUTOMATED REASONING, PROCEEDINGS, 2004, 3097 : 1 - 44
[10] The Formal Logic Approach for Checking the Observability of a Specification Language on DES Functioning
Davydov, Artem
Larionov, Aleksandr
Nagul, Nadezhda
[J]. 2018 41ST INTERNATIONAL CONVENTION ON INFORMATION AND COMMUNICATION TECHNOLOGY, ELECTRONICS AND MICROELECTRONICS (MIPRO), 2018, : 938 - 943

← 1 2 3 4 5 →