Dynamic behavior of signal transmission through metal complexes [L5M-BL-ML5]5+ (M=Fe, Ru, Os, BL=pyrazine (py), 4,4'-bipyridine (bpy), L=NH3), which are simplified models of the molecular quantum-dot cellular automata (molecular QCA), is discussed from the viewpoint of one-electron theory, density functional theory. It is found that for py complexes, the signal transmission time (tst) is Fe(0.6...

We show that logical paradoxes based on self-reference (of which the Liar is the best known example) are equivalent to the non-existence of solutions to a numerical system of equations, the so-called truth-value equations. Furthermore, we show that in many cases a self-referential system which does not posses a crisp (Boolean) solution can be solved by expanding the solution set to include fuzz...

We introduce Riesz Logic, whose models are abelian lattice ordered groups, which generalise Riesz spaces (vector lattices), and show soundness and completeness. Our motivation is to provide a logic for distributional semantics of natural language, where words are typically represented as elements of a vector space whose dimensions correspond to contexts in which words may occur. This basis prov...

In this work, we investigate a relationship between extensionality and continuity of fuzzy relations in the frame of BL-algebras. We found conditions when extensionality implies continuity and vice versa. Problem is formulated and solved algebraically.

This paper addresses the data-ow analysis of access to arrays in recursive imperative programs. When no assumption is made on recursion predicates, only approximate (\fuzzy") ow information can be hoped for in the general case. However, we introduce a new data-ow framework, based on push-down automata and, equivalently, on context-free grammars, and show that this framework allows to describe t...

Berstel and Pin have characterized local languages by introducing local automaton. In this paper fuzzy local language is introduced and the fuzzy local languages recognized by partial fuzzy local automata in max-min and min-max compositions are studied. Some closure properties of fuzzy local languages are provided. Mathematics Subject Classification: 68Q45

In this paper, we introduce the notion of bi-Smarandache BL-algebra, bi-weak Smarandache BL-algebra, bi-Q-Smarandache ideal and bi-Q-Smarandache implicative filter, we obtain some related results and construct quotient of bi-Smarandache BL-algebras via MV-algebras (or briefly bi-Smarandache quotient BL-algebra) and prove some theorems. Finally, the notion of bi-strong Smarandache BL-algebra is ...

Fuzzy formal logics were introduced in order to handle graded truth values instead of only ‘true’ and ‘false’. A wide range of such logics were introduced successfully, like Monoidal T-norm based Logic, Basic Logic, Gödel Logic, Lukasiewicz Logic etc. However, in general, fuzzy set theory is not only concerned with vagueness, but also with uncertainty. A possible solution is to use intervals in...

A model for finite automaton with an open quantum evolution is introduced, and its basic properties are studied. It is shown that the (fuzzy) languages accepted by open evolution quantum automata obey various closure properties. More importantly, it is shown that major other models of finite automata, including probabilistic, measure once quantum, measure many quantum, and Latvian quantum autom...

After the research on naBL-algebras gained by non-associative t-norms and overlap functions, inflationary BL-algebras were also studied as a recent kind of generalization BL-algebras, which can be obtained general functions. In this paper, we show that not every function induce an BL-algebra counterexample thus propose new concept weak BL-algebras. We prove each corresponds to BL-algebra; there...