Lattice-Valued Proposition Logic(Ⅱ)

In this paper, the syntactical problenss of lattice- valued proptnitional logicsystem LP(X) are discuased , the soundness theorem and the deduction thooremare given, and the adequaey problem of LP(X) is solved with slishtrestriction.

Researches on Six Lattice-Valued Logic

Based on the direct product of Boolean algebra and Lukasiewicz algebra, six lattice-valued logic is put forward in this paper. The algebraic structure and properties of the lattice are analyzed profoundly and the tautologies of six-valued logic system L6P(X) are discussed deeply. The researches of this paper can be used in lattice-valued logic systems and can be helpful to automated reasoning systems.

Ideal Resolution Principle for Lattice-Valued First-Order Logic Based on Lattice Implication Algebra

As a continuate work,ideal-based resolution principle for lattice-valued first-order logic system LF(X) is proposed,which is an extension of α-resolution principle in lattice-valued logic system based on lattice implication algebra.In this principle,the resolution level is an ideal of lattice implication algebra,instead of an element in truth-value field.Moreover,the soundness theorem is given.In the light of lifting lemma,the completeness theorem is established.This can provide a new tool for automated reasoning.

Lattice-valued Semicontinuous Mappings and Induced Topologies

Lattice-valued semicontinuous mappings play a basic and important role in solving the problems of L-fuzzy compactification theory,and make the previous work on weakly induced spaces and induced spaces determinatively generalized and strengthened.Moreover,we can describe the complete distributivity of lattices with them as well.In this paper,we give the mutually descrip- tive relation between lattice-valued semicontinuous mappings and the complete distributivity of lattices, and the construction theorems of open sets and closed sets in lattice-valued fully stratified spaces, weakly induced spaces and induced spaces(they are called S-spaces).Furthermore,we will investi- gate the structure of the co-topology of S-space,solve a series of interesting problems on product, N-compactness and metrization of S-spaces.

MORLEY CATEGORICITY THEOREM FOR LATTICE-VALUED MODEL THEORY

This report is a continuation of (2—5)We introduce several notions such as Skolem functions and sets of indiscernibles, saturated and atomic models, and stable theories in power in lattice-valued version. On the basis of [2—5] Morley categoricity theorem for finite valued lattice is deduced.

Lattice-Valued Modal Propositional Logic Based on M-Lattice Implication Algebras

The modal lattice implication algebra(i.e.,M-lattice implication algebra) is introduced and its properties are investigated.The modal lattice-valued propositional logical system is introduced by considering the M-lattice implication algebra as the valuation field,and the syntax and semantic of the logical system are discussed,respectively.

α-Input and α-Unit Resolution Methods for Generalized Horn Clause Set in L_(V(n×2))F(X)

α-Input resolution and α-unit resolution for generalized Horn clause set are discussed in linguistic truth-valued lattice-valued first-order logic (LV(n×2)F(X)), which can represent and handle uncertain linguistic values-based information. Firstly the concepts of α-input resolution and α-unit resolution are presented, and the equivalence of them is shown. Then α-input (α-unit) resolution is equivalently transformed from LV(n×2)F(X) into that of LnP(X), and their soundness and completeness are also established. Finally an algorithm for α-unit resolution is contrived in LnP(X).

ANALYTIC AND TOPOLOGICAL CHARACTERIZATIONS OF COMPLETELY DISTRIBUTIVE LAW

Using an algebraic property, the completely distributive law, we have ever given out a characterization of the semicontinuity of lattice-valued mappings. How about the inverse implication? That is to say, can we analytically characterize the completely distributive law? Moreover, can we characterize the completely distributive law in terms of fuzzy topology? The purpose of this note is to answer affirmatively these questions for the infinitely distributive lattices. This study connecting algebra with analysis and topology seems to be rather interesting.