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] THE SEMANTICAL STRUCTURE OF CONDITIONALS, AND ITS RELATION TO FORMAL ARGUMENTATION [J].

Heyninck, Jesse ;

Kern-Isberner, Gabriele ;

Rienstra, Tjitze ;

Skiba, Kenneth ;

Thimm, Matthias .

Journal of Applied Logics, 2025, 12 (03) :661-712

[27] 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

[28] Semantical framework for default logic and its variants [J].

Zhang, Ming-yi .

Chinese Journal of Advanced Software Research, 1999, 6 (03) :275-291

[29] A SEMANTICAL INVESTIGATION ON BROUWER-ZADEH LOGIC [J].

GIUNTINI, R .

JOURNAL OF PHILOSOPHICAL LOGIC, 1991, 20 (04) :411-433

[30] 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

← 1 2 3 4 5 →