Our work is a contribution to the model-theoretic study of equality-free fuzzy predicate logics. We present a reduced semantics and we prove a completeness theorem of the logics with respect to this semantics. The main concepts being studied are the Leibniz congruence and the relative relation. On the one hand, the Leibniz congruence of a model identifies the elements that are indistinguishable...

Fuzzy Databases have been a fertile research area that has produced a wide variety of remarkable solutions for the storage and manipulation of imperfect information. Proposals can be found in the three most relevant data models: relational, object-oriented, and object-relational. Query capabilities have been especially studied in the context of the relational data model, while in object models ...

Algebraic properties and structures of intuitionistic $$L-$$ fuzzy multiset finite automata (ILFMA) are discussed through congruences on a semigroup in this paper. Firstly, we put forward the notion compatible relation, monoid associated with relation can be effectively constructed, construct two monoids different congruence relations given ILFMA, then prove that they isomorphic. Furthermore, u...

Tujuan dari pendidikan kewirausahaan untuk anak usia dini yakni menjadikan peserta didik menjadi orang yang pandai, kreatif dan inovatif sekaligus memiliki jiwa pemberani, suka menerima tantangan, berani mengambil resiko tidak mudah pesimis. Penelitian dilakukan di PAUD TPQ Rochmatul Ummah Purwosari Kudus. Responden dalam penelitian ini adalah ada Kudus dengan tujuan memberikan inovasi kepada s...

Rough sets were originally proposed in the presence of an equivalence relation. An equivalence relation is sometimes difficult to be obtained in rearward problems due to the vagueness and incompleteness of human knowledge. The purpose of this paper is to introduce and discuss the concept of T -rough semiprime ideal, T -rough fuzzy semiprime ideal and T -rough quotient ideal in a commutative rin...

Computational Intelligence (CI) models comprise robust computing methodologies with a high level of machine learning quotient. CI models, in general, are useful for designing computerized intelligent systems/machines that possess useful characteristics mimicking human behaviors and capabilities in solving complex tasks, e.g., learning, adaptation, and evolution. Examples of some popular CI mode...

We study partially hyperbolic diffeomorphisms satisfying a trapping property which makes them look as if they were Anosov at large scale. We show that, as expected, they share several properties with Anosov diffeomorphisms. We construct an expansive quotient of the dynamics and study some dynamical consequences related to this quotient.

1 13 4. Free rational curves 14 5. Uniruledness 16 5.1. Definitions equivalent to uniruledness 16 5.2. Examples and consequences of uniruledness 18 6. Rational connectivity 20 6.1. Definitions equivalent to rational connectivity 21 6.2. Rational chain-connectivity implies rational connectivity 22 6.3. Examples and consequences of rational connectivity 26 7. The MRC quotient 27 7.1. Quotients by...