Results 1 to 10 of about 2,214,130 (267)
Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs [PDF]
Logical Methods in Computer Science, 2019 A cyclic proof system, called CLKID-omega, gives us another way of representing inductive definitions and efficient proof search. The 2005 paper by Brotherston showed that the provability of CLKID-omega includes the provability of LKID, first order ...
Stefano Berardi, Makoto Tatsuta
doaj +3 more sources
Logical Methods in Computer Science, 2013 Let \Omega be a set of unsatisfiable clauses, an implicit resolution refutation of \Omega is a circuit \beta with a resolution proof {\alpha} of the statement "\beta describes a correct tree-like resolution refutation of \Omega". We show that such system
Zi Chao Wang
doaj +4 more sources
A Note on Graphs of Dichromatic Number 2 [PDF]
Discrete Mathematics & Theoretical Computer Science, 2021 Neumann-Lara and Škrekovski conjectured that every planar digraph is 2-colourable. We show that this conjecture is equivalent to the more general statement that all oriented K_5-minor-free graphs are 2-colourable.
Raphael Steiner
doaj +1 more source
Entropy, 2022 The II law of thermodynamics is most often given in three supposedly equivalent formulations: two Clausius (I and II) and one Kelvin. The most general and indisputable entropy formulation belongs to Clausius (II).
Grzegorz Marcin Koczan
doaj +1 more source
On a reverse Mulholland-type inequality in the whole plane with general homogeneous kernel
Journal of Inequalities and Applications, 2021 By using the idea of introducing parameters and weight coefficients, a new reverse discrete Mulholland-type inequality in the whole plane with general homogeneous kernel is given, which is an extension of the reverse Mulholland inequality. The equivalent
Ricai Luo, Bicheng Yang, Xingshou Huang
doaj +1 more source
A reverse extended Hardy–Hilbert’s inequality with parameters
Journal of Inequalities and Applications, 2023 In this paper, by virtue of the symmetry principle, applying the techniques of real analysis and Euler–Maclaurin summation formula, we construct proper weight coefficients and use them to establish a reverse extended Hardy–Hilbert’s inequality with multi-
Ricai Luo, Bicheng Yang, Xingshou Huang
doaj +1 more source
A New Extension of Hardy-Hilbert’s Inequality Containing Kernel of Double Power Functions
Mathematics, 2020 In this paper, we provide a new extension of Hardy-Hilbert’s inequality with the kernel consisting of double power functions and derive its equivalent forms.
Bicheng Yang, Shanhe Wu, Qiang Chen
doaj +1 more source
On a New Extended Hardy–Hilbert’s Inequality with Parameters
Mathematics, 2020 In this paper, by introducing parameters and weight functions, with the help of the Euler−Maclaurin summation formula, we establish the extension of Hardy−Hilbert’s inequality and its equivalent forms.
Bicheng Yang, Shanhe Wu, Jianquan Liao
doaj +1 more source
On a more accurate Hilbert-type inequality in the whole plane with the general homogeneous kernel
Journal of Inequalities and Applications, 2021 By the use of the weight coefficients, the idea of introduced parameters and the technique of real analysis, a more accurate Hilbert-type inequality in the whole plane with the general homogeneous kernel is given, which is an extension of the more ...
Xingshou Huang, Bicheng Yang
doaj +1 more source
On a reverse extended Hardy–Hilbert’s inequality
Journal of Inequalities and Applications, 2020 By the use of the weight coefficients, the idea of introducing parameters and the Euler–Maclaurin summation formula, a reverse extended Hardy–Hilbert inequality and the equivalent forms are given.
Zhenxiao Huang +2 more
doaj +1 more source