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 条
  • [41] Variety of running fronts in one-variable reaction-diffusion systems
    Leda, M
    Kawczynski, AL
    SIMPLICITY BEHIND COMPLEXITY, 2004, 3 : 458 - 463
  • [42] ON CLASSES OF BOOLEAN FUNCTIONS INVARIANT UNDER SUBSTITUTIONS OF ONE-VARIABLE FUNCTIONS
    KASIMZADEH, OM
    VESTNIK MOSKOVSKOGO UNIVERSITETA SERIYA 1 MATEMATIKA MEKHANIKA, 1995, (03): : 79 - 82
  • [43] One-Variable Attack on the Industrial Fault Classification System and Its Defense
    Zhuo, Yue
    Shardt, Yuri A. W.
    Ge, Zhiqiang
    ENGINEERING, 2022, 19 : 240 - 251
  • [44] ANALYSIS OF A CAPILLARY HYSTERESIS MODEL BASED ON A ONE-VARIABLE DISTRIBUTION FUNCTION
    MUALEM, Y
    MORELSEYTOUX, HJ
    WATER RESOURCES RESEARCH, 1978, 14 (04) : 605 - 610
  • [45] Searching worst cases of a one-variable function using lattice reduction
    Stehlé, D
    Lefèvre, V
    Zimmermann, P
    IEEE TRANSACTIONS ON COMPUTERS, 2005, 54 (03) : 340 - 346
  • [46] Properties of exact solutions to the problem of regularization of the total variation of one-variable functions
    Voronin, S. M.
    Makovetsky, A. Yu.
    Kober, V. I.
    Karnaukhov, V. N.
    JOURNAL OF COMMUNICATIONS TECHNOLOGY AND ELECTRONICS, 2015, 60 (12) : 1356 - 1359
  • [47] On non-local propositional and local one-variable quantified CTL
    Bauer, S
    Hodkinson, I
    Wolter, F
    Zakharyaschev, M
    NINTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2002, : 2 - 9
  • [48] One-Variable Word Equations and Three-Variable Constant-Free Word Equations
    Nowotka, Dirk
    Saarela, Aleksi
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2018, 29 (05) : 935 - 950
  • [49] ON SOME GENERATING FUNCTIONS FOR THE TWO-PARAMETERS ONE-VARIABLE SRIVASTAVA POLYNOMIALS
    Atash, Ahmed Ali
    Barahmah, Salem Saleh
    ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS, 2018, (39): : 350 - 358
  • [50] ONE-VARIABLE EQUATIONAL COMPACTNESS IN PARTIALLY DISTRIBUTIVE SEMI-LATTICES WITH PSEUDOCOMPLEMENTATION
    BULMANFLEMING, S
    FLEISCHER, I
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1980, 79 (04) : 505 - 511
12345