Formal ontology, semantical interpretation and logic

被引：0

作者：

Villegas-Forero, L ^{[1
]}

Maciaszek, J ^{[1
]}

机构：

[1] Univ Santiago de Compostela, Dept Log & Philosophy Sci, Santiago De Compostela, Spain

来源：

TRUTH IN PERSPECTIVE: RECENT ISSUES IN LOGIC, REPRESENTATION AND ONTOLOGY | 1998年

关键词：

D O I：

暂无

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

引用

页码：159 / 198

页数：40

共 50 条

[21] Ontology Mapping of Business Process Modeling Based on Formal Temporal Logic
Chishti, Irfan
Ma, Jixin
Knight, Brian
INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2014, 5 (07) : 95 - 104
[22] A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic
Avellone, Alessandro
Fiorentini, Camillo
Momigliano, Alberto
FUNDAMENTA INFORMATICAE, 2015, 140 (3-4) : 247 - 262
[23] SEMANTICAL ANALYSIS OF SPECIFICATION LOGIC .2.
OHEARN, PW
TENNENT, RD
INFORMATION AND COMPUTATION, 1993, 107 (01) : 25 - 57
[24] Formal ontology
Benoist, J
Poli, R
ARCHIVES DE PHILOSOPHIE, 2000, 63 (04) : 718 - 719
[25] SEMANTICAL AND FORMAL EFFECTS IN ERPS IN LETTER RECOGNITION TASK
NADASDY, Z
INTERNATIONAL JOURNAL OF PSYCHOPHYSIOLOGY, 1991, 11 (01) : 58 - 58
[26] ON THE MODERN INTERPRETATION OF ARISTOTELIAN LOGIC, VOL 2, FORMAL AND NON-FORMAL LOGIC IN ARISTOTLE - GERMAN - MENNE,A, OFFENBERGER,N
BILLER, G
PHILOSOPHY AND HISTORY, 1987, 20 (01): : 31 - 32
[27] Semantical framework for default logic and its variants
Zhang, Ming-yi
Chinese Journal of Advanced Software Research, 1999, 6 (03): : 275 - 291
[28] A SEMANTICAL INVESTIGATION ON BROUWER-ZADEH LOGIC
GIUNTINI, R
JOURNAL OF PHILOSOPHICAL LOGIC, 1991, 20 (04) : 411 - 433
[29] LEXICAL AND SEMANTICAL TOPIC ANALYSIS BASED ON FORMAL RULES
BUHALOVA, EI
ZAJDENMAN, MA
STROGANOVA, IY
NAUCHNO-TEKHNICHESKAYA INFORMATSIYA SERIYA 2-INFORMATSIONNYE PROTSESSY I SISTEMY, 1980, (06): : 20 - 23
[30] Semantical concepts for a formal structural dynamics of situated multiagent systems
da Rocha Costa, Antonio Carlos
Dimuro, Gracaliz Pereira
COORDINATION, ORGANIZATIONS, INSTITUTIONS, AND NORMS IN AGENT SYSTEMS III, 2008, 4870 : 139 - 154

← 1 2 3 4 5 →