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 [J].
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 [J].
Avellone, Alessandro ;
Fiorentini, Camillo ;
Momigliano, Alberto .
FUNDAMENTA INFORMATICAE, 2015, 140 (3-4) :247-262
[23]   SEMANTICAL ANALYSIS OF SPECIFICATION LOGIC .2. [J].
OHEARN, PW ;
TENNENT, RD .
INFORMATION AND COMPUTATION, 1993, 107 (01) :25-57
[24]   Formal ontology [J].
Benoist, J ;
Poli, R .
ARCHIVES DE PHILOSOPHIE, 2000, 63 (04) :718-719
[25]   SEMANTICAL AND FORMAL EFFECTS IN ERPS IN LETTER RECOGNITION TASK [J].
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 [J].
BILLER, G .
PHILOSOPHY AND HISTORY, 1987, 20 (01) :31-32
[27]   Semantical framework for default logic and its variants [J].
Zhang, Ming-yi .
Chinese Journal of Advanced Software Research, 1999, 6 (03) :275-291
[28]   A SEMANTICAL INVESTIGATION ON BROUWER-ZADEH LOGIC [J].
GIUNTINI, R .
JOURNAL OF PHILOSOPHICAL LOGIC, 1991, 20 (04) :411-433
[29]   LEXICAL AND SEMANTICAL TOPIC ANALYSIS BASED ON FORMAL RULES [J].
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 [J].
da Rocha Costa, Antonio Carlos ;
Dimuro, Gracaliz Pereira .
COORDINATION, ORGANIZATIONS, INSTITUTIONS, AND NORMS IN AGENT SYSTEMS III, 2008, 4870 :139-154
12345