fuzzy logic, 67algebraic semantics, 53approximate reasoning, 6axiomatic extensions of MTL, 56 Bellman, R., 21bipolar possibilistic logic, 93BL logic, 51 canonical chain, 66canonical completeness, 66canonical extension, 83Carnap, R., 3comparative truth, 63compositionality, 29computational complexity, 73core fuzzy logic, 58 De Finetti B., 3degre...

The Kac-Moody algebras has been attracting the attention of a lot of Mathematicians because of its various connections and applications to different branches of Mathematics and Mathematical Physics since the introduction of the subject in 1968, developed simultaneously and independently by Kac and Moody. On the other hand, Fuzzy sets first originated in a seminar paper by Lotfi A.Zadeh in 1965....

We investigate the problem of synthesising an interface automaton R such that P ‖ R Q, for given deterministic interface automata P and Q. We show that a solution exists iff P and Q⊥ are compatible, and the most general solution is given by (P ‖ Q⊥)⊥, where P⊥ is the automaton P with inputs and outputs interchanged. We also characterise solutions in terms of winning input strategies in the auto...

We present results of an ongoing program at the ESO VLT for spectroscopy of BL Lac objects lacking a firm redshift estimate and here we report on 15 objects. For 11 sources we confirm the BL Lac classification, and we determine new redshifts for 3 objects, 1 with weak emission lines (PKS 1057−79, z = 0.569) and 2 with absorptions from the host galaxy (RBS 1752, z = 0.449; RBS 1915, z = 0.243); ...

A model of information confrontation based on a two-dimensional percolation-cellular automaton closed oriented surface is constructed and implemented programmatically. Numerical experiments were performed. theorem the finiteness completely positive topological entropy given cellular formulated proved. As an applied application automaton, retrospective forecast results Russian Presidential elect...

Fuzzy formal logics were introduced in or-der to handle graded truth values insteadof only ‘true’ and ‘false’. A wide range ofsuch logics were introduced successfully, likeMonoidal T-norm based Logic, Basic Logic,Gödel Logic, Lukasiewicz Logic etc. How-ever, in general, fuzzy set theory is not onlyconcerned with vagueness, but also with un-certainty. A possible s...

Most Fuzzy Controlers (FCs) for nonlinear 2nd order systems are designed with a two-dimensional phase plane in mind. We show that the performance and the robustness of this kind of FCs stems from their property of driving the system into the so-called sliding mode (SM) in which the controlled system is invariant to parameter fluctuations and disturbances. Additionally, the continuous distributi...

A conjunction T ties an implication operator A if the identity A(a,A(b, z)) = A(T (a, b), z) holds [A.A. Abdel-Hamid, N.N. Morsi, Associatively tied implications, Fuzzy Sets and Systems 136 (2003) 291–311]. We study the class of tied adjointness algebras (which are five-connective algebras on two partially ordered sets), in which the implications are tied by triangular norms. This class contain...

In last ten years many mathematicians have studied properties of BL-algebras endowed with a topology. For example A. Di Nola and L. Leustean cite{dn} studied compact representations of BL-algebras, L. C. Ciungu cite{ciu} investigated some concepts of convergence in the class of perfect BL-algebras, J. Mi Ko and Y. C. Kim cite{jun} studied relationships between closure operators and BL-algebras,...