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 条
  • [1] The One-Variable Fragment of T→
    John Slaney
    Edward Walker
    Journal of Philosophical Logic, 2014, 43 : 867 - 878
  • [2] The One-Variable Fragment of Corsi Logic
    Caicedo, Xavier
    Metcalfe, George
    Rodriguez, Ricardo
    Tuyt, Olim
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2019), 2019, 11541 : 70 - 83
  • [3] Normal forms for the one-variable fragment of Hajek's basic logic
    Aguzzoli, S
    Gerla, B
    35th International Symposium on Multiple-Valued Logic, Proceedings, 2005, : 284 - 289
  • [4] Detecting One-Variable Patterns
    Kosolobov, Dmitry
    Manea, Florin
    Nowotka, Dirk
    STRING PROCESSING AND INFORMATION RETRIEVAL (SPIRE 2017), 2017, 10508 : 254 - 270
  • [5] Integrability of Nonsmooth One-Variable Functions
    Ivanov, Gennady
    Alferov, Gennady
    Efimova, Polina
    2017 CONSTRUCTIVE NONSMOOTH ANALYSIS AND RELATED TOPICS (DEDICATED TO THE MEMORY OF V.F. DEMYANOV) (CNSA), 2017, : 134 - 137
  • [6] On One-Variable Fragments of Modal μ-Calculus
    Pacheco, Leonardo
    Li, Wenjuan
    Tanaka, Kazuyuki
    COMPUTABILITY THEORY AND FOUNDATIONS OF MATHEMATICS, CTFM 2019, 2022, : 17 - 45
  • [7] One-Variable Word Equations in Linear Time
    Jez, Artur
    AUTOMATA, LANGUAGES, AND PROGRAMMING, PT II, 2013, 7966 : 324 - 335
  • [8] Generating Implications from One-Variable Functions
    Su, Yong
    Xie, Aifang
    Liu, Hua-Wen
    INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, 2015, 23 (06) : 927 - 947
  • [9] Solving one-variable equations in free groups
    Bormotov, Dimitri
    Gilman, Robert
    Myasnikov, Alexei
    JOURNAL OF GROUP THEORY, 2009, 12 (02) : 317 - 330
  • [10] One-variable logic meets Presburger arithmetic
    Bednarczyk, Bartosz
    THEORETICAL COMPUTER SCIENCE, 2020, 802 (802) : 141 - 146
12345