模糊粗糙近似算子公理集的独立性

用双论域上的模糊关系定义了广义模糊粗糙近似算子,并讨论了近似算子的性质。用公理刻画了模糊集合值算子,各种公理化的近似算子可以保证找到相应的二元模糊关系,使得由模糊关系通过构造性方法定义的模糊粗糙近似算子恰好就是用公理定义的近似算子。讨论了刻画各种特殊近似算子的公理集的独立性,从而给出各种特殊模糊关系所对应的模糊粗糙近似算子的最小公理集。     

The Wightman axioms and the mass gap for strong interactions of exponential type in two-dimensional space-time

We construct boson models in two space-time dimensions which satisfy all the Wightman axioms with mass gap. The interactions are exponential and no restriction on the size of the coupling constant is made. The Schwinger functions for the space cut-off interaction are shown to be non-negative and to decrease monotonically to their unique, non zero, infinite volume limit, as the space cut-off is removed. The correspondent Wightman functions satisfy all the Wightman axioms. The mass gap of the space cut-off Hamiltonian is non decreasing as the space cut-off is removed and the Hamiltonian for the infinite volume limit has mass gap at least as large as the bare mass. The infinite volume Schwinger functions and the mass gap depend monotonically on the coupling constant and the bare mass. The coupling of the first power of the field to the first excited state is proven and an equation of motion for the interacting field is derived.     

Multi-attribute decision-making in individual and social choice

This paper provides an analysis of individual and social decision criteria for alternatives that are composed of several attributes. We derive additive and multiplicative criteria for individual decision-making with new axioms and apply these criteria to obtain new justifications of known social choice rules with a bargaining interpretation, namely the generalized utilitarian and Nash social choice functions. Unlike most axiomatizations of bargaining solutions, our approach is, to a large extent, based on the multi-attribute structure of the underlying alternatives and the resulting individual decision criteria instead of axioms that impose restrictions on the choice function directly.     

On Periodic Asymmetric Extrapolation

In this paper, we develop a new technique for the asymmetric approximation of discrete functions arising in seasonal customer demand extrapolation. We adapt the technique for two different settings, the so-called pull and push models. Our main goal here is to find effectively extrapolations minimizing the loss. For bothmodels, we discuss several features related to sampling, approximation, and extrapolation.     

Strict core fuzzy logics and quasi-witnessed models

In this paper we prove strong completeness of axiomatic extensions of first-order strict core fuzzy logics with the so-called quasi-witnessed axioms with respect to quasi-witnessed models. As a consequence we obtain strong completeness of Product Predicate Logic with respect to quasi-witnessed models, already proven by M.C. Laskowski and S. Malekpour in [19]. Finally we study similar problems for expansions with ??, define ??-quasi-witnessed axioms and prove that any axiomatic extension of a first-order strict core fuzzy logic, expanded with ??, and ??-quasi-witnessed axioms are complete with respect to ??-quasi-witnessed models.     

Models of topological space geometries

We study a special class of models of R³-spaces in the sense of Betten. We single out some of the properties of these models, and use these properties as additional axioms for general R³-spaces. Then we investigate the consequences of these new axioms in general R³-spaces. We prove the continuity of the geometric operations which involve planes, and we characterize the planes in incidence geometric terms. Using these results, we study the topology of the space of planes and of line pencils, and we prove the continuity of collineations. The obtained results are applied to our concrete examples.     

An axiom system for the weak monadic second order theory of two successors

A compelte axiom system for the weak monadic second order theory of two successor functions, W2S, is presented. The axiom system consists, roughly, of the generalized Peano axioms and of an inductive definition of the finite sets. For the proof, methods of J. R. Buchi and J. Doner are used to obtain a new decision procedure for W2S, whose proofs are easily formalized. Different finiteness axioms are discussed. This paper was written while the author was visiting at Purdue University, and appeared first as Report CSD TR-56, Purdue University, 1971.     

Fixed-point index for compositions of set-valued maps with proximally ∞-connected values on arbitrary ANR's

In the paper the integer-valued fixed-point index theory for compositions of set-valued maps having proximally ∞-connected values satisfying all the axioms of a fixed point index is presented. The considered approach is based on the technique of single-valued approximation on the graph.     

An axiomatic study of Majority-rule (+ ) and associated consensus functions on hierarchies

Consensus trees have been used routinely in systematic biology for over 30 years with the majority-rule consensus tree among the most popular. In this paper we give axioms that characterize a new consensus function, called majority-rule (+), that is based on a generalization of majority-rule to the supertree case. In addition, two other related consensus functions are characterized.     

Resurrection axioms and uplifting cardinals

We introduce the resurrection axioms, a new class of forcing axioms, and the uplifting cardinals, a new large cardinal notion, and prove that various instances of the resurrection axioms are equiconsistent over ZFC with the existence of an uplifting cardinal.     

The band method for positive and strictly contractive extension problems: An alternative version and new applications

The band method for positive and strictly contractive extension problems is deduced from a new set of axioms. New applications concern extension problems for operator-valued functions in the Wiener class and for certain infinite operator matrices.This research was supported in part by the Institute for Mathematics and its Applications with funds provided by the National Science Foundation.     

On the distribution of three-valued functions over pre-complete classes

A system of 36 ??axioms?? binding pre-complete classes of a three-valued logic is proposed. On the basis on these axioms (and their duals), a set of 406 rows is built in which all possible cases of distributions of three-valued functions over pre-complete classes are presented.     

HOW TO PROVE THE DISCRETE RELIABILITY FOR NONCONFORMING FINITE ELEMENT METHODS

Optimal convergence rates of adaptive finite element methods are well understood in terms of the axioms of adaptivity.One key ingredient is the discrete reliability of a residualbased a posteriori error estimator,which controls the error of two discrete finite element solutions based on two nested triangulations.In the error analysis of nonconforming finite element methods,like the Crouzeix-Raviart or Morley finite element schemes,the difference of the piecewise derivatives of discontinuous approximations to the distributional gradients of global Sobolev functions plays a dominant role and is the object of this paper.The nonconforming interpolation operator,which comes natural with the definition of the aforementioned nonconforming finite element in the sense of Ciarlet,allows for stability and approximation properties that enable direct proofs of the reliability for the residual that monitors the equilibrium condition.The novel approach of this paper is the suggestion of a right-inverse of this interpolation operator in conforming piecewise polynomials to design a nonconforming approximation of a given coarse-grid approximation on a refined triangulation.The results of this paper allow for simple proofs of the discrete reliability in any space dimension and multiply connected domains on general shape-regular triangulations beyond newest-vertex bisection of simplices.Particular attention is on optimal constants in some standard discrete estimates listed in the appendices.     

Kripke models for subtheories of CZF

In this paper a method to construct Kripke models for subtheories of constructive set theory is introduced that uses constructions from classical model theory such as constructible sets and generic extensions. Under the main construction all axioms except the collection axioms can be shown to hold in the constructed Kripke model. It is shown that by carefully choosing the classical models various instances of the collection axioms, such as exponentiation, can be forced to hold as well. The paper does not contain any deep results. It consists of first observations on the subject, and is meant to introduce some notions that could serve as a foundation for further research.     

On (⊥,?)-generalized fuzzy rough sets

In the present paper, we mainly discuss the (??,?)-generalized fuzzy rough sets introduced by B.Q. Hu and Z.H. Huang with both constructive approach and axiomatic approach considered. In the former, we started from the investigation of the properties of the ??-upper and ?-lower approximation operators generated by binary fuzzy relations. In the latter, by defining a pair of fuzzy set-theoretic operators, we show (??,?)-fuzzy rough approximation operators can be characterized by different sets of axioms.     

Measures of Association for Hilbertian Subspaces and Some Applications

Measures of association are introduced for Hilbertian subspaces, that are defined by a few axioms and are shown to be symmetric nondecreasing functions of the canonical coefficients. When particular subspaces are considered, classical measures of association are obtained as particular cases. Moreover, the proposed framework allows one to introduce new approaches for measuring partial noncorrelation, partial independence and linear predictability of a stationary process.     

Axiomatic characterization of a general utility function and its particular cases in terms of conjoint measurement and rough-set decision rules

Utility or value functions play an important role of preference models in multiple-criteria decision making. We investigate the relationships between these models and the decision-rule preference model obtained from the Dominance-based Rough Set Approach. The relationships are established by means of special “cancellation properties” used in conjoint measurement as axioms for representation of aggregation procedures. We are considering a general utility function and three of its important special cases: associative operator, Sugeno integral and ordered weighted maximum. For each of these aggregation functions we give a representation theorem establishing equivalence between a very weak cancellation property, the specific utility function and a set of rough-set decision rules. Each result is illustrated by a simple example of multiple-criteria decision making. The results show that the decision rule model we propose has clear advantages over a general utility function and its particular cases.     

I-fuzzy拓扑空间的次分离公理

在I-fuzzy拓扑空间中引入次T1和次T2分离公理,新的分离公理具有预期好的性质,如:具有遗传性和可乘性,在次T2空间中分子网收敛唯一等。初步讨论次分离公理与其它分离公理的关系。     

Multivalent preference structures

This paper presents a valence approach for assessing multiattribute utility functions. Unlike the decomposition approach which uses independence axioms on whole attributes to obtain utility representations, the valence approach partitions the elements of each attribute into classes on the basis of equivalent conditional preference orders. These partitions generate multivalent utility independence axioms that lead to additive-multiplicative and quasi-additive representation theorems for multiaatribute utility functions defined over product sets of equivalence classes. Preference interdependencies are thereby reflected in these classes, so attribute interactions are readily interpreted and the functional forms of the representations are kept simple.     

Theory of integer-valued data envelopment analysis

Conventional data envelopment analysis (DEA) models assume real-valued inputs and outputs. In many occasions, some inputs and/or outputs can only take integer values. In some cases, rounding the DEA solution to the nearest whole number can lead to misleading efficiency assessments and performance targets. This paper develops the axiomatic foundation for DEA in the case of integer-valued data, introducing new axioms of “natural disposability” and “natural divisibility”. We derive a DEA production possibility set that satisfies the minimum extrapolation principle under our refined set of axioms. We also present a mixed integer linear programming formula for computing efficiency scores. An empirical application to Iranian university departments illustrates the approach.