A formal deductive system for fuzzy propositional calculus

DOI10.1007/BF02882922zbMATH Open0889.03017OpenAlexW1999500055MaRDI QIDQ1376008FDOQ1376008

Authors: Guojun Wang 

Publication date: 29 May 1998

Published in: Chinese Science Bulletin (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02882922

Recommendations

• scientific article; zbMATH DE number 4152343
• Fuzzy deduction theorem in the system \(\mathcal L^*\)
• scientific article; zbMATH DE number 1293548
• scientific article; zbMATH DE number 647718

zbMATH Keywords

fuzzy logicformal deductive systemimplication functions

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27)

Cites Work

• The paradoxical success of fuzzy logic
• Elkan's reply. The paradoxical controversy over fuzzy logic
• Title not available (Why is that?)

Cited In (36)

• Integrated semantics and logic metric spaces
• Title not available (Why is that?)
• Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices
• On equivalent forms of fuzzy logic systems NM and IMTL
• Generalized Bosbach and Riečan states based on relative negations in residuated lattices
• Non-fuzzy versions of fuzzy reasoning in classical logics
• A triangular-norm-based propositional fuzzy logic
• A triangular norm-based fuzzy predicate logic
• The theory of conditional \(\alpha\)-tautologies based on the regular implication operators
• Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space
• Some properties of fuzzy reasoning in propositional fuzzy logic systems
• Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras)
• Compactness theorems of fuzzy semantics
• NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL
• Quantitative logic
• The \(R_0\)-type fuzzy logic metric space and an algorithm for solving fuzzy modus ponens
• Disjunctive elimination rule and its application in MTL
• Title not available (Why is that?)
• Stone duality for \(R_0\)-algebras with internal states
• Generalized quasi-tautology of an interval-valued fuzzy propositional logic system and its classification
• Title not available (Why is that?)
• \(R _{0}\) implication: Characteristics and applications
• Some weaker versions of topological residuated lattices
• Implicational lattices and generalization of Stone's representation theorem
• Formalized theory of general fuzzy reasoning.
• Typical valuation medium and a simplified system of axioms of \({\mathcal L}^*\)
• Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic)
• On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras
• Consistency degrees of theories and methods of graded reasoning in \(n\)-valued \(R_{0}\)-logic (NM-logic)
• A characterization of truth-functions in the nilpotent minimum logic
• Rough approximation operators on \(R_0\)-algebras (nilpotent minimum algebras) with an application in formal logic \(\mathcal{L}^\ast\)
• Fuzzy prime Boolean filters and their operations in IMTL-algebras
• Simplification and independence of axioms of fuzzy logic systems IMTL and NM
• Theory of generalized tautology in revised Kleene system
• Title not available (Why is that?)
• Some properties of the roots of theories in propositional logic systems

This page was built for publication: A formal deductive system for fuzzy propositional calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1376008)