The logics treated here are the intermediate propositional logics of the form LJ + Ni(a), where Ni(a)’s are axioms of only one variable studied in Nishimura [6]. As is easily seen, the problem of the disjunction property of LJ+Ni(a) starts from i = 10 and the case of odd i can be trivially neglected. The case of i = 10 was solved by Kreisel and Putnam [5] and other cases except i = 14 were solv...

Non-participation in landscape planning presents a formidable challenge to sustainable development. We hypothesize that even when people hold egative attitudes toward unplanned development, natural property rights values (favorable evaluations of property as an inviolable and pre-political ight) prevent them from acting on their concerns. We chose an intermountain west community as a case study...

This paper presents a class of exponential chain ratio type estimator in double sampling for estimating finite population mean of the study variable, when the information on another additional auxiliary variable is known along with the main auxiliary variable. The property of proposed class of estimator has been studied. Comparison has been made with other competitive estimators. The proposed e...

It was proved in [4] that interpolation properties of propositional normal modal logics (n.m.l.) are closely connected with amalgamation properties of associated varieties of modal algebras. In this paper we find an algebraic equivalent of the Hallden property in modal logics, namely, we prove that the Hallden-completeness in any n.m.l. is equivalent to the so-called Super-Embedding Property of...

Higher order differential cryptanalysis is based on the property of higher order derivatives of Boolean functions that the degree of a Boolean function can be reduced by at least 1 by taking a derivative on the function at any point. We define fast point as the point at which the degree can be reduced by at least 2. In this paper, we show that the fast points of a n-variable Boolean function fo...

In this paper, we examine the computational complexity of various natural onevariable fragments of first-order modal logics with the addition of arbitrary counting quantifiers. The addition of counting quantifiers provides us a rich language with which to succinctly express statements about the quantity of objects satisfying a given property, using only a single variable. We provide optimal upp...

We describe the class of n-variable polynomial functions that satisfy Aczél’s bisymmetry property over an arbitrary integral domain of characteristic zero with identity.

In this paper we study both real and complex interpolation in the recently introduced scales of variable exponent Besov and Triebel–Lizorkin spaces. We also take advantage of some interpolation results to study a trace property and some pseudodifferential operators acting in the variable index Besov scale.

The aim of this work is to investigate the variational discretization and mixed finite element methods for optimal control problem governed by semi linear parabolic equations with integral constraint. The state and co-state are approximated by the lowest order Raviart-Thomas mixed finite element spaces and the control is not discreted. Optimal error estimates in L2 are established for the state...

This paper deals with the unique continuation problems for variable coefficient elliptic differential equations of second order. We will prove that the unique continuation property holds when the variable coefficients of the leading term are Lipschitz continuous and the coefficients of the lower order terms have small weak type Lorentz norms. This will improve an earlier result of T. Wolff in t...