Abstract:In order to offer a logic foundation for fuzzy reasoning and to reduce the gap between fuzzy reasoning and artificial intelligence, a new formal deductive system L^* was introduced in 1996. It was proved that the prominent nilpotent minimum logic is a logic system equivalent to L^*. As is well known, in classical propositional logic, there is a one-to-one correspondence between deductively closed theories and topologically closed subsets of the Stone space of all maximally consistent theories. Recently, by means of the strong completeness of L^*, we obtained the structural and topological characterizations of maximally consistent theories in this logic. It was proved that the set of all maximally consistent theories over L^* with an induced topology is a Cantor space. In order to establish a similar connection between theories over L^* and closed subsets of this topological space to the classical case, we introduce in this paper the notion of three-valued Lukasiewicz theory and the notion of two-valued Lukasiewicz (Boolean) theory. We prove that there is also a one-to-one correspondence between deductively closed three-valued Lukasiewicz theories and closed subsets of the space, and Boolean theories correspond to the closed subsets of the subspace of all maximally consistent Boolean theories. Lastly, we give an alternative proof for the structural characterization of the maximality of consistent theories over L^* by induction on the complexity of formulas, which is independent of the strong completeness of L^* and also independent of the perfectness of the standard R0-algebra.

The Axiomatization For 0-Level Universal Logic

A propositional calculus formal deductive system ULh∈0,1] of universal logic

A propositional calculus formal deductive system UL/sub h/spl epsi/(0,1)/ of universal logic

A Propositional Calculus Formal Deductive System Ulh Epsilon(0,1) Of Universal Logic

Predicate Formal System Based on 0-Level Universal and Operator and Its Completeness

A Propositional Calculus Formal Deductive System $\mathcal{L}^{U}$ of Universal Logic and Its Completeness

Some Algebraic Properties about the 0-Level Universal Operation Model of Universal Logic

Predicate Formal System Based On 1-Level Universal And Operator And Its Soundness

Generalized Tautologies Theory of Universal Logic Based on 0-Level Universal AND Operators

Predicate Formal System (A)ul-H∈[0.75,1]and Its Soundness

Generalized Tautologies Theory of the Basic Formal System of Universal Logic

Predicate Formal System (∨)Ul-H∈[0.75,1]and Its Completeness

The Completeness of the Formal Deductive System B of Universal Logic in the Ideal Condition

Generalized H-valuation in Logic System UL

A Class of Strict-t-morms-based Propositional Logic

Integrity Studies on O-Level Universal Operation Models of Flexible Logic

The First Order Predicate Calculus of a Logic System

Axiomatic Theory of Truth Degree for a Class of First-Order Formulas and Its Application

A parametrised axiomatization for a large number of restricted second-order logics

Three and Two-Valued Łukasiewicz Theories in the Formal Deductive System L* (Nm-Logic)

A Proof Calculus for Automated Deduction in Propositional Product Logic