NEGATION IN METACOMPLETE RELEVANT LOGICS

被引：0

|

作者：

Brady, Ross T. ^{[1
]}

机构：

[1] La Trobe Univ, Philosophy Program, Bundoora, Vic 3086, Australia

来源：

LOGIQUE ET ANALYSE | 2008年 / 204期

关键词：

D O I：

暂无

中图分类号：

B81 [逻辑学（论理学）];

学科分类号：

010104 ; 010105 ;

摘要：

引用

收藏

页码：331 / 354

页数：24

相关论文

共 50 条

[41] Epistemic Logics for Relevant Reasoners
Sedlar, Igor
Vigiani, Pietro
JOURNAL OF PHILOSOPHICAL LOGIC, 2024, 53 (05) : 1383 - 1411
[42] Weak relevant justification logics
Standefer, Shawn
JOURNAL OF LOGIC AND COMPUTATION, 2023, 33 (07) : 1665 - 1683
[43] Mechanizing relevant logics with HOL
Sawamura, H
Asanuma, D
THEOREM PROVING IN HIGHER ORDER LOGICS, 1998, 1479 : 443 - 460
[44] ON TENNANT INTUITIONIST RELEVANT LOGICS
MILNE, P
AUSTRALASIAN JOURNAL OF PHILOSOPHY, 1996, 74 (01) : 175 - 181
[45] FAILURE OF INTERPOLATION IN RELEVANT LOGICS
URQUHART, A
JOURNAL OF PHILOSOPHICAL LOGIC, 1993, 22 (05) : 449 - 479
[46] Lukasiewicz Negation and Many-Valued Extensions of Constructive Logics
Ferguson, Thomas Macaulay
2014 IEEE 44TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2014), 2014, : 121 - 127
[47] Using tableau to decide expressive description logics with role negation
Schmidt, Renate A.
Tishkovsky, Dmitry
SEMANTIC WEB, PROCEEDINGS, 2007, 4825 : 438 - +
[48] Constant Domain Quantified Modal Logics Without Boolean Negation
Restall, Greg
AUSTRALASIAN JOURNAL OF LOGIC, 2005, 3 : 45 - 62
[49] Residuated logics based on strict triangular norms with an involutive negation
Cintula, Petr
Klement, Erich Peter
Mesiar, Radko
Navara, Mirko
MATHEMATICAL LOGIC QUARTERLY, 2006, 52 (03) : 269 - 282
[50] T-norm-based logics with an independent involutive negation
Flaminio, Tommaso
Marchioni, Enrico
FUZZY SETS AND SYSTEMS, 2006, 157 (24) : 3125 - 3144

← 1 2 3 4 5 →