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...
An atomic MV-effect algebra with non-atomic center
Does there exist an atomic lattice effect algebra with non-atomic subalgebra of sharp elements? An affirmative answer to this question (and slightly more) is given: An example of an atomic MV-effect algebra with a non-atomic Boolean subalgebra of sharp or central elements is presented.
An autostable 2 nilpotent group with no Scott family of finitary formulas.
An axiom system for full -dimensional Euclidean geometry
We present an axiom system for class of full Euclidean spaces (i.e. of projective closures of Euclidean spaces) and prove the representation theorem for our system, using connections between Euclidean spaces and elliptic planes.
An axiom system for incidence spatial geometry.
Incidence spatial geometry is based on three-sorted structures consisting of points, lines and planes together with three intersort binary relations between points and lines, lines and planes and points and planes. We introduce an equivalent one-sorted geometrical structure, called incidence spatial frame, which is suitable for modal considerations. We are going to prove completeness by SD-Theorem. Extensions to projective, affine and hyperbolic geometries are also considered.
An axiomatic characterization of Boolean-valued models for set theory
An Axiomatics for Hyperbolic Projective-Metric Planes in Terms of Lines and Orthogonality
Hyperbolic projective-metric planes, first axiomatized by R. Lingenberg [7], are shown to be axiomatizable in terms of lines and orthogonality.
An axiomatization of extensional probability measures
An axiomatization of fuzzy classes.
An axiomatization of fuzzy classes more general than usual fuzzy sets is proposed. Connections and interpretations with other axiomatizations of set theory and fuzzy set theory are investigated.
An elementary class extending abelian-by- groups, for infinite
We show that for no infinite group the class of abelian-by- groups is elementary, but, at least when is an infinite elementary abelian -group (with prime), the class of groups admitting a normal abelian subgroup whose quotient group is elementarily equivalent to is elementary.
An elimination of infinitely small quantities and infinitely large numbers (within the framework of AST)
An elimination of the predicate “to be a standard member” in nonstandard models of arithmetic
An essay on model theory
Some basic ideas of model theory are presented and a personal outlook on its perspectives is given.
An exact Ramsey principle for block sequences.
An expansion of an -categorical model
An explicit basis for the admissible inference rules in the Gödel-Löb logic GL.
An explicit basis for the admissible inference rules of the modal logics extending S4.1 and Grz.