LOGIC AND SEMANTICS IN ARISTOTLE THEORY OF PREDICATION

被引：2

|

作者：

CELLUPRICA, V

机构：

来源：

PHRONESIS-A JOURNAL FOR ANCIENT PHILOSOPHY | 1987年 / 32卷 / 02期

关键词：

D O I：

10.1163/156852887X00082

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

引用

收藏

页码：166 / 187

页数：22

相关论文

共 50 条

[21] LOGIC, SEMANTICS AND THEORY OF PROGRAMMING - PREFACE
DEZANICIANCAGLINI, M
DELLAROCCA, SR
VENTURINIZILLI, M
THEORETICAL COMPUTER SCIENCE, 1993, 121 (1-2) : R11 - R12
[22] Logic, semantics and theory of programming - Preface
Danvy, Olivier
O'Hearn, Peter
Wadler, Philip
THEORETICAL COMPUTER SCIENCE, 2007, 375 (1-3) : 1 - 2
[23] Logic, semantics and theory of programming Foreword
Kopperman, Ralph
Panangaden, Prakash
Smyth, Michael B.
Spreen, Dieter
THEORETICAL COMPUTER SCIENCE, 2008, 405 (1-2) : 1 - 2
[24] THE SEMANTICS AND PROOF THEORY OF LINEAR LOGIC
AVRON, A
THEORETICAL COMPUTER SCIENCE, 1988, 57 (2-3) : 161 - 184
[25] Logic, semantics and theory of programming - Preface
Eiter, Thomas
Libkin, Leonid
THEORETICAL COMPUTER SCIENCE, 2007, 371 (03) : 147 - 147
[26] Logic, semantics and theory of programming - Preface
Rozenberg, G
THEORETICAL COMPUTER SCIENCE, 1996, 153 (1-2) : 1 - 1
[27] Logic, semantics and theory of programming - Preface
Girard, JY
Okada, M
Scedrov, A
THEORETICAL COMPUTER SCIENCE, 1999, 227 (1-2) : 1 - 1
[28] Logic, semantics and theory of programming -: Foreword
Le Métayer, D
THEORETICAL COMPUTER SCIENCE, 2000, 240 (01) : 1 - 2
[29] Logic, semantics and theory of programming Foreword
Falaschi, Moreno
Gabbrielli, Maurizio
Palamidessi, Catuscia
THEORETICAL COMPUTER SCIENCE, 2009, 410 (46) : 4601 - 4602
[30] Numerical identity and accidental predication in Aristotle
Mariani, M
TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY, 2000, 19 (02): : 99 - 110

← 1 2 3 4 5 →