Linear Logic Operators in Transparent Intensional Logic

被引：0

作者：

Vokorokos, Liberios ^{[1
]}

Bilanova, Zuzana ^{[1
]}

Mihalyi, Daniel ^{[1
]}

机构：

[1] Tech Univ Kosice, Dept Comp & Informat, Letna 9, Kosice 04200, Slovakia

来源：

2017 IEEE 14TH INTERNATIONAL SCIENTIFIC CONFERENCE ON INFORMATICS | 2017年

关键词：

SEMANTICS; TIL;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

In this paper, we would like to describe two logical systems - Tichy's transparent intensional logic and Girard's linear logic. Transparent intensional logic is a method of logical analysis of natural language, which represents expressive system, independent of chosen source language. Our research vision is to connect this method with linear logic. In future research, this connection would allow us to apply Ludics theory principles (which is the extension of the linear logic) to natural language sentences, which puts them in a logical time and space.

引用

页码：420 / 424

页数：5

共 50 条

[1] Transparent Intensional Logic A Challenge
Materna, Pavel
[J]. LOGICA YEARBOOK 2011, 2012, : 153 - 179
[2] IS TRANSPARENT INTENSIONAL LOGIC A NON-CLASSICAL LOGIC?
Materna, Pavel
[J]. LOGIC AND LOGICAL PHILOSOPHY, 2014, 23 (01) : 47 - 55
[3] Transparent intensional logic and multiagent systems
Muller, Jaroslav
[J]. IMECS 2006: INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS, 2006, : 264 - 269
[4] ON THE PHILOSOPHICAL INTERPRETATION OF TRANSPARENT INTENSIONAL LOGIC
BERKA, K
[J]. FILOSOFICKY CASOPIS, 1992, 40 (02): : 313 - 321
[5] The Unfinished Project of Transparent Intensional Logic
Hanzel, Igor
[J]. FILOZOFIA, 2019, 74 (02): : 126 - 138
[6] Semantic Paradoxes and Transparent Intensional Logic
Raclavsky, Jiri
[J]. LOGICA YEARBOOK 2011, 2012, : 239 - 251
[7] ON THE INTERACTION OF SEMANTICS AND DEDUCTION IN TRANSPARENT INTENSIONAL LOGIC (IS TICHY'S LOGIC A LOGIC?)
Raclaysky, Jiri
[J]. LOGIC AND LOGICAL PHILOSOPHY, 2014, 23 (01) : 57 - 68
[8] To analyze the deontic modalities in Transparent Intensional Logic
Glavanicova, Daniela
[J]. ORGANON F, 2015, 22 (02) : 211 - 228
[9] On Two Notions of Computation in Transparent Intensional Logic
Pezlar, Ivo
[J]. AXIOMATHES, 2019, 29 (02): : 189 - 205
[10] Mind Modeling using Transparent Intensional Logic
Gardon, Andrej
[J]. RASLAN 2011: RECENT ADVANCES IN SLAVONIC NATURAL LANGUAGE PROCESSING: FIFTH WORKSHOP, 2011, : 11 - 18

← 1 2 3 4 5 →