The One-Variable Fragment of T→

被引：2
|
作者：
Slaney, John [1 ]
Walker, Edward [1 ]
机构：
[1] Australian Natl Univ, Res Sch Comp Sci, Canberra, ACT 0200, Australia
来源：
JOURNAL OF PHILOSOPHICAL LOGIC | 2014年 / 43卷 / 05期
关键词：
Relevant logic; Ticket entailment;
D O I：
10.1007/s10992-013-9293-3
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
We show that there are infinitely many pairwise non-equivalent formulae in one propositional variable p in the pure implication fragment of the logic T of "ticket entailment" proposed by Anderson and Belnap. This answers a question posed by R. K. Meyer.
引用
收藏
页码：867 / 878
页数：12
相关论文
共 50 条
12345