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 条

[31] MINIMAL NON-RELEVANT LOGICS WITHOUT THE K AXIOM II. NEGATION INTRODUCED AS A PRIMITIVE UNARY CONNECTIVE
Robles, Gemma
REPORTS ON MATHEMATICAL LOGIC, 2010, 45 : 97 - 118
[32] PROPOSITIONAL LOGICS WITH STRONG NEGATION AND THE CRAIG INTERPOLATION THEOREM
GORANKO, VF
DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1985, 38 (07): : 825 - 827
[33] Relevance principle for substructural logics with mingle and strong negation
Kamide, N
JOURNAL OF LOGIC AND COMPUTATION, 2002, 12 (06) : 913 - 928
[34] Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities
Jarmuzek, T.
Malinowski, J.
Parol, A.
Zamperlin, N.
LOGIC JOURNAL OF THE IGPL, 2024,
[35] Double-Negation Elimination in Some Propositional Logics
Michael Beeson
Robert Veroff
Larry Wos
Studia Logica, 2005, 80 (2-3) : 195 - 234
[36] Gentzenizations of relevant logics with distribution
Brady, RT
JOURNAL OF SYMBOLIC LOGIC, 1996, 61 (02) : 402 - 420
[37] Actual Issues for Relevant Logics
Standefer, Shawn
ERGO-AN OPEN ACCESS JOURNAL OF PHILOSOPHY, 2020, 7 : 241 - 276
[38] QUANTIFIED MODAL RELEVANT LOGICS
Ferenz, Nicholas
REVIEW OF SYMBOLIC LOGIC, 2023, 16 (01): : 210 - 240
[39] DEDUCTION THEOREMS FOR RELEVANT LOGICS
KRON, A
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1973, 19 (01): : 85 - 92
[40] HIERARCHICAL SEMANTICS FOR RELEVANT LOGICS
BRADY, RT
JOURNAL OF PHILOSOPHICAL LOGIC, 1992, 21 (04) : 357 - 374

← 1 2 3 4 5 →