THE UNDECIDABILITY OF ENTAILMENT AND RELEVANT IMPLICATION

被引：0

|

作者：

URQUHART, A

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1984年 / 49卷 / 01期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：326 / 326

页数：1

相关论文

共 50 条

[21] Grounding principles for (relevant) implication
Poggiolesi, Francesca
SYNTHESE, 2021, 198 (08) : 7351 - 7376
[22] The Undecidability of Conditional Affine Information Inequalities and Conditional Independence Implication with a Binary Constraint
Li, Cheuk Ting
2021 IEEE INFORMATION THEORY WORKSHOP (ITW), 2021,
[23] The Undecidability of Conditional Affine Information Inequalities and Conditional Independence Implication With a Binary Constraint
Li, Cheuk Ting
IEEE TRANSACTIONS ON INFORMATION THEORY, 2022, 68 (12) : 7685 - 7701
[24] ABSTRACT REALIZABILITY FOR INTUITIONISTIC AND RELEVANT IMPLICATION
MITCHELL, JC
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 851 - 852
[25] MULTISETS AND RELEVANT IMPLICATION .2.
MEYER, RK
MCROBBIE, MA
AUSTRALASIAN JOURNAL OF PHILOSOPHY, 1982, 60 (03) : 265 - 281
[26] GENTZEN SYSTEM FOR POSITIVE RELEVANT IMPLICATION
DUNN, JM
JOURNAL OF SYMBOLIC LOGIC, 1973, 38 (02) : 356 - 357
[27] RELEVANT IMPLICATION AND THE CASE FOR A WEAKER LOGIC
BRADY, RT
JOURNAL OF PHILOSOPHICAL LOGIC, 1996, 25 (02) : 151 - 183
[28] THE LOGICAL STRUCTURE OF LINGUISTIC COMMITMENT .2. SYSTEMS OF RELEVANT COMMITMENT ENTAILMENT
LANCE, M
KREMER, P
JOURNAL OF PHILOSOPHICAL LOGIC, 1996, 25 (04) : 425 - 449
[29] Two 4-valued implicative expansions of first-degree entailment logic: The relevant logic BN4VSP and the (relevant) entailment logic BN4AP
Robles, Gemma
JOURNAL OF LOGIC AND COMPUTATION, 2023, 33 (02) : 462 - 484
[30] A dynamic characterization of the pure logic of relevant implication
Batens D.
Journal of Philosophical Logic, 2001, 30 (3) : 267 - 280

← 1 2 3 4 5 →