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.

Multivalued Logic and Fuzzy Logic--Their Relationship, Minimization, and Application to Fault Diagnosis

Local Relation Mapping Theory of Fuzzy Reasoning

Minimization of Fuzzy Logic Function Based on Multi-Valued Logic Method

Fault Detection for Testable Realizations of Multiple-Valued Logic Functions

On the minimization k-valued logic functions in the class of disjunctive normal forms

FAULT DETECTION FOR MULTIPLE-VALUED LOGIC CIRCUITS WITH FANOUT-FREE

Relationships among Several Types of Kripke Structures Based on Fuzzy Logic

An Synthesized Methods for Multi-Valued Logic Function

A Novel Fault Diagnosis Framework of Computing with Words Based on Lattice-Valued Fuzzy Automata

Function of One Regular Separable Relation Set Decided for the Minimal Covering in Multiple Valued Logic

Continuous-Valued Logic Algebra Studies on the Basic of Mathematical Dialectical Propositional Logic

Analysis on Dynamic Fault Tree Based on Fuzzy Set

A Minimum Adequate Set of Multi-Valued Logic

Logic Minimization as an Efficient Means of Fuzzy Structure Discovery

A Novel Logic Detection Algorithm for Logic Circuits

A Minimal Temporal Logic with Multiple Fuzzy Truth-Values

Fuzzy Logic and Markov Kernels

New Approaches for Synthesis of Redundant Combinatorial Logic for Selective Fault Tolerance.

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

Extended fuzzy ALCN and its tableau algorithm

CIRCUIT TESTABLE DESIGN AND UNIVERSAL TEST SETS FOR MULTIPLE-VALUED LOGIC FUNCTIONS