On a connection between the word problem and decidability of the equational theory.
On a Foundation for Mathematics- a View of Mathematics I
On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains.
On a functional equation connected to the distributivity of fuzzy implications over triangular norms and conorms
Distributivity of fuzzy implications over different fuzzy logic connectives have a very important role to play in efficient inferencing in approximate reasoning, especially in fuzzy control systems (see [9, 15] and [4]). Recently in some considerations connected with these distributivity laws, the following functional equation appeared (see [5]) where and is an unknown function. In this paper we consider in detail a generalized version of this equation, namely the equation where are functions...
On a Generalization of Permutable Equivalence Relations
On a hierarchy of groups of computable automorphisms.
On a local form of Lobachevski's functional equation
On a logical formalization of natural language
On A Many-Valued Sentential Calculus
On a modification of axioms of general relations
Basic concepts concerning binary and ternary relations are extended to relations of arbitrary arities and then investigated.
On a modification of relational axioms
On a new class of distances between fuzzy numbers.
In the course of the studies on fuzzy regression analysis, we encountered the problem of introducing a distance between fuzzy numbers, which replaces the classical (x - y)2 on the real line. Our proposal is to compute such a function as a suitable weighted mean of the distances between the α-cuts of the fuzzy numbers. The main difficulty is concerned with the definition of the distance between intervals, since the current definitions present some disadvantages which are undesirable in our context....
On a new method in intuitionist linear analysis
On a paper by Karel Prikry concerning Ulam's problem on families of measures
On a perfect set
On a perfect set theorem of A. H. Stone and N. N. Lusin’s constituents
On a period of elements of pseudo-BCI-algebras
The notions of a period of an element of a pseudo-BCI-algebra and a periodic pseudo-BCI-algebra are defined. Some of their properties and characterizations are given.
On a periodic part of pseudo-BCI-algebras
In the paper the connections between the set of some maximal elements of a pseudo-BCI-algebra and deductive systems are established. Using these facts, a periodic part of a pseudo-BCI-algebra is studied.
On a power of relational structures
On a Problem of Boone.