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 条

[21] ECONOMICAL DICHOTOMOUS SEARCH FOR MINIMIZING ONE-VARIABLE FUNCTIONS
Kodnyanko, V. A.
RADIO ELECTRONICS COMPUTER SCIENCE CONTROL, 2019, (03) : 34 - 39
[22] Finding a one-variable pattern from incomplete data
Sakamoto, H
ALGORITHMIC LEARNING THEORY, 1998, 1501 : 234 - 246
[23] THEORY OF THE ONE-VARIABLE FOKKER-PLANCK EQUATION
MIYAZAWA, T
PHYSICAL REVIEW A, 1989, 39 (03) : 1447 - 1468
[24] THICK PLATES ON ELASTIC FOUNDATIONS - ONE-VARIABLE FORMULATION
VOYIADJIS, GZ
BALUCH, MH
JOURNAL OF THE ENGINEERING MECHANICS DIVISION-ASCE, 1979, 105 (06): : 1041 - 1045
[25] TESTS OF THERMODYNAMIC THEORY OF RELATIVE STABILITY IN ONE-VARIABLE SYSTEMS
WOLFF, AN
HJELMFELT, A
ROSS, J
HUNT, PM
JOURNAL OF CHEMICAL PHYSICS, 1993, 99 (05): : 3455 - 3460
[26] COMPUTATION OF FULL LOGIC PROGRAMS USING ONE-VARIABLE ENVIRONMENTS
VODA, PJ
NEW GENERATION COMPUTING, 1986, 4 (02) : 153 - 187
[27] Polytime embedding of intuitionistic modal logics into their one-variable fragments
Rybakov, Mikhail
Shkatov, Dmitry
JOURNAL OF LOGIC AND COMPUTATION, 2024,
[28] A new method to describe branching patterns as one-variable array
Kitamura, T
Honjo, H
FRACTALS-COMPLEX GEOMETRY PATTERNS AND SCALING IN NATURE AND SOCIETY, 2006, 14 (02) : 77 - 85
[29] SOME ENHANCEMENTS TO APPROXIMATION OF ONE-VARIABLE FUNCTIONS BY ORTHONORMAL BASIS
Beliczynski, Bartlomiej
Ribeiro, Bernardete
NEURAL NETWORK WORLD, 2009, 19 (05) : 401 - 412
[30] Methods of NN construction for the problem of one-variable function approximation
Tomashevich, NS
8TH INTERNATIONAL CONFERENCE ON NEURAL INFORMATION PROCESSING, VOLS 1-3, PROCEEDING, 2001, : 1489 - 1492

← 1 2 3 4 5 →