Results 141 to 150 of about 74,540 (198)
Advances in core technologies for semiconductor manufacturing: applications and challenges of atomic layer etching, neutral beam etching and atomic layer deposition. [PDF]
Nanoscale AdvLee TY +8 more
europepmc +1 more source
Lattice-valued logic and neural networks
1997 Annual Meeting of the North American Fuzzy Information Processing Society - NAFIPS (Cat. No.97TH8297), 2002 Lattice-valued logic is a generalized logic whose definition function is set-valued. It can be applied to switching systems by defining a lattice-valued switch (LVS) whose parallel connection "/spl cup/" and cascade connection "/spl cap/" are generalized operators which may correspond respectively to the "max" (v) and "min" (/spl and/) operators in ...
Yunfeng Liu, P.K.C. Wang
openalex +3 more sources
Fuzzy Topology Based on Residuated Lattice-Valued Logic
Acta Mathematica Sinica, English Series, 2001 We use a semantical method of complete residuated lattice-valued logic to give a generalization of fuzzy topology as a partial answer to a problem by Roser and Turquette.
Mingsheng Ying
openalex +3 more sources
Lattice-Valued Propositional Logics
, 2003 In Chapter 2, a logical algebra — lattice implication algebra has been established, and its properties have been discussed in Chapters 2 – 8. In this chapter, we establish lattice-valued propositional logic LP(X)and gradational lattice-valued propositional logic Lvpl based on lattice implication algebra.
Yang Xu, Keyun Qin, Da Ruan, Jun Liu
openalex +3 more sources
Lattice-Valued First-Order Logics
, 2003 In Chapter 9, we discussed the lattice-valued propositional logics based on lattice implication algebra and their properties. In this chapter, we discuss the lattice-valued first-order logic based on lattice implication algebra. In Section 10.1, a lattice-valued first-order logic LF(X) is given. In Section 10.2, a gradational lattice-valued first-order
Yang Xu, Keyun Qin, Da Ruan, Jun Liu
openalex +3 more sources
Tautologies in some lattice-valued logic systems
Proceedings of the 2003 International Conference on Machine Learning and Cybernetics (IEEE Cat. No.03EX693), 2004 In this paper, the tautologies in some lattice-valued logic systems whose truth-values fields are lattices are formed by direct product of two lattice implication algebras, /spl alpha/-tautologies and F-tautologies are also discussed. As two examples, the tautologies in lattice-valued systems of L/sub 4/P (X) and L/sub 6/P (X) are discussed.
Haiming Li, Keyun Qin, Yang Xu
openalex +3 more sources
Propositional Systems in Field Theories and Lattice-Valued Quantum Logic [PDF]
, 1981 This note summarizes briefly the work about the structure of quantum physics made by me and partly by Laszlo Szente. The initial idea was, in its nature, mathematical: Let us generalize the mathematical frame of usual quantum mechanics by replacing the complex field ℂ by a *-algebra A and the Hilbert space H ℂ by a module HA over A which has similar ...
M. Banai
openalex +2 more sources
Automata theory based on complete residuated lattice-valued logic (II)
Science in China Series F Information Sciences, 2002 This paper establishes a fundamental framework of automata theory based on complete residuated lattice-valued logic. First it deals with how to extend the transition relation of states and particularly presents a characterization of residuated lattice by fuzzy automata (called l valued automata).
Daowen Qiu
openalex +3 more sources
A lattice-valued modal propositional logic system LMP(X)
IEEE International Conference on Systems, Man and Cybernetics, 2003 In this paper, two operators N and P are introduced into LP(X), then a new lattice-valued modal propositional logic system LMP(X) is given. With possible world semantics, N and P are described. Furthermore, some properties on semantics and syntax are discussed, and some important conclusions are obtained, including the soundness theorem, deduction ...
Wenjiang Li, Yang Xu, Jun Ma, Jun Liu
openalex +3 more sources