Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic)
DOI10.1016/j.fss.2008.04.005zbMath1176.03008OpenAlexW2094192581MaRDI QIDQ835272
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
Cantor spacefinite separation propertynilpotent minimum logic\(R_{0}\)-algebraBoolean theoryformal deductive system \({\mathcal L}^*\)maximally consistent theorythree-valued Łukasiewicz theory
Fuzzy logic; logic of vagueness (03B52) Reasoning under uncertainty in the context of artificial intelligence (68T37) Many-valued logic (03B50)
Related Items (2)
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)
