An algebraic equivalent of a multiple choice axiom
An algebraic treatment of flow diagrams and its application to generalized recursion theory
An algorithm for the word problem in extensions and the dependence of its complexity on the group representation
An algorithm of calculation of lower solutions of fuzzy relational equations.
This paper deals with the problem of the determination of lower solutions of fuzzy relational equations. An algorithm of calculation of such a solution is presented.
An Algorithm to Compute theTransitive Closure, a Transitive Approximation and a Transitive Opening of a Fuzzy Proximity.
An alternative approach to rough sets
An alternative proof of Hill's criterion of freeness for Abelian groups.
An alternative proof of the ultralimits theorem.
An analysis of Karp’s interpolation theorem and the notion of -consistency property
An analytic equivalence relation not arising from a Polish group action
An application of a reflection principle
We define a recursive theory which axiomatizes a class of models of IΔ₀ + Ω ₃ + ¬ exp all of which share two features: firstly, the set of Δ₀ definable elements of the model is majorized by the set of elements definable by Δ₀ formulae of fixed complexity; secondly, Σ₁ truth about the model is recursively reducible to the set of true Σ₁ formulae of fixed complexity.
An application of higher order fixed points of normal functions.
An application of logical-probabilistic expressions to the realization of stochastic automata
An application of nonstandard analysis to functional equations.
An application of results by Hardy, Ramanujan and Karamata to Ackermannian functions.
An Application of Shoenfield's Absoluteness Theorem to the Theory of Uniform Distribution.
An application of the Ehrenfeucht-Fraisse game in formal language theory
An Approach for Selecting Appropriate Methods for Treating Uncertainty in Knowledge Based Systems
An approach to solve a fuzzy bi-objective multi-index fixed charge transportation problem
In this paper, we propose a novel approach for solving a fuzzy bi-objective multi-index fixed-charge transportation problem where the aim is to minimize two objectives: the total transportation cost and transportation time. The parameters of the problem, such as fixed cost, variable cost, and transportation time are represented as fuzzy numbers. To extract crisp values from these parameters, a linear ranking function is used. The proposed approach initially separates the main problem into sub-problems....
An architecture for making judgments using computing with words
Our thesis is that computing with words needs to account for the uncertainties associated with the meanings of words, and that these uncertainties require using type-2 fuzzy sets. Doing this leads to a proposed architecture for making it judgments by means of computing with words, i.e., to a perceptual computer-the Per-C. The Per-C includes an encoder, a type-2 rule-based fuzzy logic system, and a decoder. It lets all human-computer interactions be performed using words. In this paper, a quantitative...