Craig Value Model Theory And Lattice Value Logic System Present Situation Research

The model theory is the mathematical logic of the main branch, is to study the form of language and its interpretation (model) the relationship between the theories. As a lattice-valued logic, the first order lattice-valued logic model theory has a number of columns in-depth studies with a generalized quantifier Q is defined first-order logic model of the binary concept of the weak, and gives the model on the weak A series of nature. Research is multi-valued logic based intelligent information processing systems a very active research in the forefront of the direction, the direction will be promising to study computer science and artificial intelligence to a qualitative leap. Multi-valued logic system has a very rich content of the system is one of lattice-valued logic system. This article is based on lattice implication algebra and lattice-valued logic of the research, carried out on the following aspects in depth and detailed study: 1 describes the compactness theorem, fundamental theorem over the plot, omitting type theorem of concept, focusing on the its basic nature. 2 describes the compactness theorem, fundamental theorem over the plot, omitting type theorem in the next three theorems. By introducing the three basic theorems, to provide some logical basis for uncertainty reasoning to find a reasonable explanation. 3 In the study of lattice implication algebra, lattice implication algebra introduced to determine the method of monotone. 4 lattice-valued logic systems research, in the framework of lattice-valued logic semantics to cell value on the Lukasiewicz implication operator as a tool to define the lattice-valued logic is not clear on the intuitive concept of algebra. Discusses the concept of the nature. Lattice implication algebra based on the format of the value of first-order logic model of the system on a preliminary study.