Three and two-valued Łukasiewicz theories in the formal deductive system L^* (NM-logic)
From MaRDI portal
Publication:835272
Recommendations
- Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space
- Chang's Ł*Logic
- scientific article; zbMATH DE number 6002414
- The properties of closed theories with its application in the formal deductive system \({\mathscr{L}^*}\)
- Topological characterization of properties of logic theories in the three-valued propositional logic system \({\L}_3^*\)
Cites work
- A characterization of truth-functions in the nilpotent minimum logic
- A complete many-valued logic with product-conjunction
- A formal deductive system for fuzzy propositional calculus
- A new theory consistency index based on deduction theorems in several logic systems
- A treatise on many-valued logics
- A triangular-norm-based propositional fuzzy logic
- Algebraic foundations of many-valued reasoning
- Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space
- Formalized theory of general fuzzy reasoning.
- Free nilpotent minimum algebras
- Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems
- scientific article; zbMATH DE number 3112450 (Why is no real title available?)
- scientific article; zbMATH DE number 3174984 (Why is no real title available?)
- scientific article; zbMATH DE number 3485719 (Why is no real title available?)
- scientific article; zbMATH DE number 1354791 (Why is no real title available?)
- scientific article; zbMATH DE number 2147602 (Why is no real title available?)
- scientific article; zbMATH DE number 2219788 (Why is no real title available?)
- Mathematics behind fuzzy logic
- Metamathematics of fuzzy logic
- Minimally generated Boolean algebras
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Normal forms and free algebras for some extensions of MTL
- On equivalent forms of fuzzy logic systems NM and IMTL
- On Some Varieties of MTL-algebras
- On the logic foundation of fuzzy reasoning
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- Outline of a New Approach to the Analysis of Complex Systems and Decision Processes
- The completeness and applications of the formal system L^
- The operation and deductive theorem in the formal deductive system L
- The paradoxical success of fuzzy logic
- Triple I method of fuzzy reasoning
- Undefinability of min-conjunction in MTL
- Unified forms of fully implicational restriction methods for fuzzy reasoning
- Unified forms of Triple I method
Cited in
(9)- Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space
- Topological characterization of properties of logic theories in the three-valued propositional logic system \({\L}_3^*\)
- Chang's Ł*Logic
- The properties of closed theories with its application in the formal deductive system \({\mathscr{L}^*}\)
- scientific article; zbMATH DE number 6154338 (Why is no real title available?)
- Normal unisoft filters in R₀-algebras
- Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras)
- Randomized truth degrees and inference models in multi-valued modal logics
- Formal axiomatic theories based on a three-valued logic
This page was built for publication: Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q835272)
