LOGIC OF 1ST-ORDER - SPANISH - MOSTERIN,J

被引：0

|

作者：

CISNEROS, A

机构：

来源：

CRITICA-REVISTA HISPANOAMERICANA DE FILOSOFIA | 1976年 / 8卷 / 24期

关键词：

D O I：

暂无

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

引用

收藏

页码：125 / 128

页数：4

相关论文

共 50 条

[41] A FRAGMENT OF 1ST-ORDER LOGIC ADEQUATE FOR OBSERVATION EQUIVALENCE
OGUZTUZUN, H
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 626 : 278 - 292
[42] LOGICAL FOUNDATION FOR LOGIC PROGRAMMING BASED ON 1ST-ORDER LINEAR TEMPORAL LOGIC
PLIUSKEVICIUS, R
[J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 592 : 391 - 406
[43] MANY-SORTED 1ST-ORDER LOGIC DATABASE LANGUAGE
YANG, JSH
CHIN, YH
CHUNG, CG
[J]. COMPUTER JOURNAL, 1992, 35 (02): : 129 - 137
[44] KNOWLEDGE REPRESENTATION AND INFERENCE BASED ON 1ST-ORDER MODAL LOGIC
IWANUMA, K
HARAO, M
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 315 : 236 - 251
[45] A SEQUENT CALCULUS FOR A 1ST-ORDER LINEAR TEMPORAL LOGIC WITH EQUALITY
SAKALAUSKAITE, J
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 620 : 430 - 440
[46] COMBINATORY-LOGIC AS THE 1ST-ORDER MATHEMATICAL-THEORY
JIANG, MD
WEN, H
[J]. CHINESE SCIENCE BULLETIN, 1989, 34 (24): : 2079 - 2083
[47] CONCERNING THE SEMANTIC CONSEQUENCE RELATION IN 1ST-ORDER TEMPORAL LOGIC
SZALAS, A
[J]. THEORETICAL COMPUTER SCIENCE, 1986, 47 (03) : 329 - 334
[48] EMMY - A REFUTATIONAL THEOREM PROVER FOR 1ST-ORDER LOGIC WITH EQUATIONS
DERUYYER, A
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 488 : 439 - 441
[49] HYPER-DOCTRINES AND PROOF THEORY OF 1ST-ORDER LOGIC
SEELY, RAG
[J]. JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (03) : 470 - 471
[50] A NEW SEMANTICS FOR 1ST-ORDER LOGIC, MULTIVALENT AND MOSTLY INTENSIONAL
LEBLANC, H
[J]. TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY, 1984, 3 (01): : 55 - 62

← 1 2 3 4 5 →