In this paper, we discuss some propertie s of lattice implication algebra and difine the transitivity of implication in a set, we show the transitivity of implication and the substitution Theorem hold i n filters. S...In this paper, we discuss some propertie s of lattice implication algebra and difine the transitivity of implication in a set, we show the transitivity of implication and the substitution Theorem hold i n filters. So every filter of lattice implication algebra satisfies the Syllogis m and substitution Theorem of propositional logic.展开更多
In this paper,we investigate some special properties of lattice implication homomorphism in implication filter spaces. We show that lattice implication homomorphism is a continuous function with respect to implication...In this paper,we investigate some special properties of lattice implication homomorphism in implication filter spaces. We show that lattice implication homomorphism is a continuous function with respect to implication filter topology. Moreover,we give a structural characterstic of left translation topology and right translation topology,which finally leads to the structural characteristics of product topology.展开更多
Lattice implication algebras is an algebraic structure which is established by combining lattice and implication algebras. In this paper, we introduce the concept of. I-feature filters and involutory filters in fat ti...Lattice implication algebras is an algebraic structure which is established by combining lattice and implication algebras. In this paper, we introduce the concept of. I-feature filters and involutory filters in fat tice implication algebras, and discussed some propert ies of them. Finally, the characterization of filters of any lattice implication algebra which satisfies Increasing Chain Conditions (I. C. C) is given.展开更多
In this paper we put forward a new solution of the well-known problem of relevant logics, i.e., we construct an atomic entailment. Hence, we construct a system of predicate calculus based on the atomic entailment. Nex...In this paper we put forward a new solution of the well-known problem of relevant logics, i.e., we construct an atomic entailment. Hence, we construct a system of predicate calculus based on the atomic entailment. Next, we establish the definition of atomic inconsistency. The atomic inconsistency establishes an infinite class of inconsistent, but non-trivial systems. In this paper we construct the new definition of the classical entailment, into the bargain.展开更多
In order to study structure-function details of TGF-beta1, the recombinant mature form of rat TGF-beta1 was expressed in bacteria. Synthesis of the 112 amino-acid carboxyl-terminal part of TGF-beta1 (amino acid 279-39...In order to study structure-function details of TGF-beta1, the recombinant mature form of rat TGF-beta1 was expressed in bacteria. Synthesis of the 112 amino-acid carboxyl-terminal part of TGF-beta1 (amino acid 279-390) was controlled by an inducible gene expression system based on bacteriophage T7 RNA polymerase. This system allowed an active and selective synthesis of recombinant TGF-beta1. The molecular weight of expressed TGF-alpha1 monomer determined on SDS-polyacrylamide gel under reducing conditions was about 13 kD. Serial detergent washes combined with a single gel-filtration purification step were sufficient to purify the expression product to homogeneity. Amino-terminal sequencing revealed that the N-terminal of the recombinant protein was identical to the published data. In Western blot analysis the recombinant polypeptide showed excellent antigenicity against polyclonal TGF-beta1 antibody. The mature recombinant rat TGF-beta1 expressed in this study provides a useful tool for future detailed structural and functional studies.展开更多
In this paper,after discussing the prime implication filter of lattice implication algebra,we introduced the concept of prime space of lattice implication algebra,in which we analysised its topological property and di...In this paper,after discussing the prime implication filter of lattice implication algebra,we introduced the concept of prime space of lattice implication algebra,in which we analysised its topological property and discussed the relation between the category of topological space and the category of lattice implication algebras.展开更多
This paper is devoted to the study of some properties of fuzzy filters in lattice implication algebras. The structure theorem of fuzzy filters and the category of the sets of fuzzy filters were established with some b...This paper is devoted to the study of some properties of fuzzy filters in lattice implication algebras. The structure theorem of fuzzy filters and the category of the sets of fuzzy filters were established with some basic properties of it were discussed.展开更多
We define a quasi uniformity on a lattice H implication algebra. We also introduce a quasi uniformity on any lattice implication algebra by using the set of filters.
This paper is a continuation of the paper [16]. Namely, in [16] we have introduced, among others, the definition of the N atomic entailment and we have constructed the system S, which is based on the atomic entailmen...This paper is a continuation of the paper [16]. Namely, in [16] we have introduced, among others, the definition of the N atomic entailment and we have constructed the system S, which is based on the atomic entailment. In this paper we show that the classical Arithmetic can be based on the Atomic Logic （see [17]）.展开更多
文摘In this paper, we discuss some propertie s of lattice implication algebra and difine the transitivity of implication in a set, we show the transitivity of implication and the substitution Theorem hold i n filters. So every filter of lattice implication algebra satisfies the Syllogis m and substitution Theorem of propositional logic.
文摘In this paper,we investigate some special properties of lattice implication homomorphism in implication filter spaces. We show that lattice implication homomorphism is a continuous function with respect to implication filter topology. Moreover,we give a structural characterstic of left translation topology and right translation topology,which finally leads to the structural characteristics of product topology.
文摘Lattice implication algebras is an algebraic structure which is established by combining lattice and implication algebras. In this paper, we introduce the concept of. I-feature filters and involutory filters in fat tice implication algebras, and discussed some propert ies of them. Finally, the characterization of filters of any lattice implication algebra which satisfies Increasing Chain Conditions (I. C. C) is given.
文摘In this paper we put forward a new solution of the well-known problem of relevant logics, i.e., we construct an atomic entailment. Hence, we construct a system of predicate calculus based on the atomic entailment. Next, we establish the definition of atomic inconsistency. The atomic inconsistency establishes an infinite class of inconsistent, but non-trivial systems. In this paper we construct the new definition of the classical entailment, into the bargain.
基金Shanghai Medical Development grant No. ZD99001 and aGrant (SFB-542) from the Deutsche Forschungsgemeinschaft.
文摘In order to study structure-function details of TGF-beta1, the recombinant mature form of rat TGF-beta1 was expressed in bacteria. Synthesis of the 112 amino-acid carboxyl-terminal part of TGF-beta1 (amino acid 279-390) was controlled by an inducible gene expression system based on bacteriophage T7 RNA polymerase. This system allowed an active and selective synthesis of recombinant TGF-beta1. The molecular weight of expressed TGF-alpha1 monomer determined on SDS-polyacrylamide gel under reducing conditions was about 13 kD. Serial detergent washes combined with a single gel-filtration purification step were sufficient to purify the expression product to homogeneity. Amino-terminal sequencing revealed that the N-terminal of the recombinant protein was identical to the published data. In Western blot analysis the recombinant polypeptide showed excellent antigenicity against polyclonal TGF-beta1 antibody. The mature recombinant rat TGF-beta1 expressed in this study provides a useful tool for future detailed structural and functional studies.
文摘In this paper,after discussing the prime implication filter of lattice implication algebra,we introduced the concept of prime space of lattice implication algebra,in which we analysised its topological property and discussed the relation between the category of topological space and the category of lattice implication algebras.
文摘This paper is devoted to the study of some properties of fuzzy filters in lattice implication algebras. The structure theorem of fuzzy filters and the category of the sets of fuzzy filters were established with some basic properties of it were discussed.
文摘We define a quasi uniformity on a lattice H implication algebra. We also introduce a quasi uniformity on any lattice implication algebra by using the set of filters.
文摘This paper is a continuation of the paper [16]. Namely, in [16] we have introduced, among others, the definition of the N atomic entailment and we have constructed the system S, which is based on the atomic entailment. In this paper we show that the classical Arithmetic can be based on the Atomic Logic （see [17]）.
