FALLACIES IN PREDICATE LOGIC

被引：0

|

作者：

BELL, D ^{[1
]}

机构：

[1] GLASGOW UNIV,GLASGOW,SCOTLAND

来源：

MIND | 1971年 / 80卷 / 317期

关键词：

D O I：

暂无

中图分类号：

B [哲学、宗教];

学科分类号：

01 ; 0101 ;

摘要：

引用

收藏

页码：145 / 147

页数：3

相关论文

共 50 条

[41] On the logic of nonmonotonic conditionals and conditional probabilities: Predicate logic
Hawthorne, J
JOURNAL OF PHILOSOPHICAL LOGIC, 1998, 27 (01) : 1 - 34
[42] Book review: The Semantic Foundations of Logic: Predicate Logic
Journal of Logic and Computation, 1997, 7 (04):
[43] Temporal logic with predicate λ-abstraction.
Lisitsa, A
Potapov, I
12TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2005, : 147 - 155
[44] Predicate logic and tree automata with tests
Treinen, R
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 2000, 1784 : 329 - 343
[45] Formalising design patterns in predicate logic
Bayley, Ian
Zhu, Hong
SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 25 - +
[46] BOOLEAN ALGEBRA OF CLASSICAL PREDICATE LOGIC
REZNIKOF.I
JOURNAL OF SYMBOLIC LOGIC, 1971, 36 (02) : 383 - +
[47] Probabilistic models for intuitionistic predicate logic
Georgescu, George
JOURNAL OF LOGIC AND COMPUTATION, 2011, 21 (06) : 1165 - 1176
[48] THE COMPLETENESS OF A PREDICATE-FUNCTOR LOGIC
BACON, J
JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (04) : 903 - 926
[49] SOME SYSTEM OF PREDICATE TENSE LOGIC
PFEIFFER, H
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1985, 31 (06): : 557 - 568
[50] Axiomatising the Prior Future in Predicate Logic
Cresswell, Max
LOGICA UNIVERSALIS, 2013, 7 (01) : 87 - 101

← 1 2 3 4 5 →