Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic)

DOI10.1016/j.fss.2008.04.005zbMath1176.03008OpenAlexW2094192581MaRDI QIDQ835272

Hong Jun Zhou, Wang, Guojun

Publication date: 28 August 2009

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2008.04.005

zbMATH Keywords

Cantor spacefinite separation propertynilpotent minimum logic\(R_{0}\)-algebraBoolean theoryformal deductive system \({\mathcal L}^*\)maximally consistent theorythree-valued Łukasiewicz theory

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Reasoning under uncertainty in the context of artificial intelligence (68T37) Many-valued logic (03B50)

Related Items (2)

Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras) ⋮ Normal unisoft filters in -algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A new theory consistency index based on deduction theorems in several logic systems
• Normal forms and free algebras for some extensions of MTL
• Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems
• The completeness and applications of the formal system \(\mathcal L^\ast\)
• Unified forms of fully implicational restriction methods for fuzzy reasoning
• Minimally generated Boolean algebras
• Mathematics behind fuzzy logic
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• A formal deductive system for fuzzy propositional calculus
• On equivalent forms of fuzzy logic systems NM and IMTL
• Triple I method of fuzzy reasoning
• Formalized theory of general fuzzy reasoning.
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• Algebraic foundations of many-valued reasoning
• A triangular-norm-based propositional fuzzy logic
• A characterization of truth-functions in the nilpotent minimum logic
• A complete many-valued logic with product-conjunction
• On the logic foundation of fuzzy reasoning
• Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space
• Unified forms of Triple I method
• Undefinability of min-conjunction in MTL
• The effect of season and weather on physical activity: A systematic review
• Outline of a New Approach to the Analysis of Complex Systems and Decision Processes
• Free nilpotent minimum algebras
• On Some Varieties of MTL-algebras

This page was built for publication: Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic)