This is a companion paper to [6] where a natural deduction system for propositional hybrid logic is given. In the present paper we generalize the system to the first-order case. Our natural deduction system for first-order hybrid logic can be extended with additional inference rules corresponding to conditions on the accessibility relations and the quantifier domains expressed by so-called geom...

Pairs of systems, which consist of a system of sequents and a natural deduction system for some part of intuitionistic logic, are considered. For each of these pairs of systems the property that the normalization theorem is a consequence of the cut-elimination theorem is presented.

We describe a sequent calculus, based on work of Herbelin, of which the cut-free derivations are in 1-1 correspondence with the normal natural deduction proofs of intuitionistic logic. We present a simple proof of Herbelin’s strong cutelimination theorem for the calculus, using the recursive path ordering theorem of Dershowitz.

In 1981, Paris and Wilkie [28] indicated it was an open question whether IΣ0 would satisfy the Second Incompleteness Theorem for Herbrand deduction. We will show that some specially formulated axiomizations for IΣ0 can evade the Herbrandized version of the Second Incompleteness Theorem.

Using a generalized translation operator, we obtain a generalization of Theorem 5 in [4] for the Bessel transform for functions satisfying the (delta;gamma ; 2)-BesselLipschitz condition in L_{2;alpha}(R+).  

In this paper, we establish an existence result of the solution for an generalized strong vector variational inequality already considered in the literature and as applications we obtain a new coincidence point theorem in Hilbert spaces.    

In this paper, we deal with Molaei’s generalized groups. We definethe notion of a fuzzy generalized subgroup with respect to a t-norm (orT-fuzzy generalized subgroup) and give some related properties. Especially,we state and prove the Representation Theorem for these fuzzy generalizedsubgroups. Next, using the concept of continuity of t-norms we obtain a correspondencebetween TF(G), the set of ...

Our aim in this paper is to prove an analog of Younis's Theorem on the image under the Jacobi transform of a class functions satisfying a generalized Dini-Lipschitz condition in the space $mathrm{L}_{(alpha,beta)}^{p}(mathbb{R}^{+})$, $(1< pleq 2)$. It is a version of Titchmarsh's theorem on the description of the image under the Fourier transform of a class of functions satisfying the Dini-Lip...

This paper first improves Chen and Hsieh’s definition of generalized fuzzy numbers, which makes it the generalization of definition of fuzzy numbers. Secondly, in terms of the generalized fuzzy numbers set, we introduce two different kinds of orders and arithmetic operations and metrics based on the λ-cutting sets or generalized λ-cutting sets, so that the generalized fuzzy numbers are integrat...

this article is devoted to study of the autoconvolution equations and generalized mittag-leffler functions. these types of equations are given in terms of the laplace transform convolution of a function with itself. we state new classes of the autoconvolution equations of the first kind and show that the generalized mittag-leffler functions are solutions of these types of equations. in view of ...