DEPENDENCE AND INDEPENDENCE OF INFERENCE RULES IN CONSTRUCTIVE MATHEMATICAL LOGIC

被引：0

|

作者：

GORGY, FW

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1974年 / 39卷 / 02期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：414 / 414

页数：1

相关论文

共 50 条

[1] Dependence and independence: Structure and inference
Vexler, Albert
Chen, Xiwei
Hutson, Alan D.
STATISTICAL METHODS IN MEDICAL RESEARCH, 2017, 26 (05) : 2114 - 2132
[2] On the inference rules in legal logic
Xiong Minghui
SOCIAL SCIENCES IN CHINA, 2009, 30 (03) : 58 - 74
[3] INFERENCE RULES FOR PROBABILITY LOGIC
Boricic, Marija
PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, 2016, 100 (114): : 77 - 86
[4] RULES OF INFERENCE WITH PARAMETERS FOR INTUITIONISTIC LOGIC
RYBAKOV, VV
JOURNAL OF SYMBOLIC LOGIC, 1992, 57 (03) : 912 - 923
[5] Rules of inference in fuzzy sentential logic
Turunen, E
FUZZY SETS AND SYSTEMS, 1997, 85 (01) : 63 - 72
[6] ON RULES OF INFERENCE IN KANT'S LOGIC
Dalla Rosa, Davide
ESTUDOS KANTIANOS, 2020, 8 (01): : 85 - 100
[7] COMPLETENESS OF CLASSICAL PREDICATE CALCULUS IN CONSTRUCTIVE MATHEMATICAL LOGIC
MARKOV, AA
DOKLADY AKADEMII NAUK SSSR, 1974, 215 (02): : 266 - 269
[8] A META-LOGIC OF INFERENCE RULES: SYNTAX
Citkin, Alex
LOGIC AND LOGICAL PHILOSOPHY, 2015, 24 (03) : 313 - 337
[9] Axiomatizations with context rules of inference in modal logic
Goranko V.
Studia Logica, 1998, 61 (2) : 179 - 197
[10] Independendly-Friendly Logic: Dependence and Independence of Quantifiers in Logic
Sandu, Gabriel
PHILOSOPHY COMPASS, 2012, 7 (10): : 691 - 711

← 1 2 3 4 5 →