A formal deductive system for fuzzy propositional calculus
From MaRDI portal
Publication:1376008
DOI10.1007/BF02882922zbMath0889.03017OpenAlexW1999500055MaRDI QIDQ1376008
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
Related Items (30)
A triangular-norm-based propositional fuzzy logic ⋮ Integrated semantics and logic metric spaces ⋮ A characterization of truth-functions in the nilpotent minimum logic ⋮ Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic) ⋮ Consistency degrees of theories and methods of graded reasoning in \(n\)-valued \(R_{0}\)-logic (NM-logic) ⋮ Theory of generalized tautology in revised Kleene system ⋮ Disjunctive elimination rule and its application in MTL ⋮ Fuzzy prime Boolean filters and their operations in IMTL-algebras ⋮ Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices ⋮ 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) ⋮ A triangular norm-based fuzzy predicate logic ⋮ On equivalent forms of fuzzy logic systems NM and IMTL ⋮ Generalized Bosbach and Riečan states based on relative negations in residuated lattices ⋮ Compactness theorems of fuzzy semantics ⋮ Formalized theory of general fuzzy reasoning. ⋮ On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras ⋮ Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space ⋮ STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES ⋮ Rough approximation operators on \(R_0\)-algebras (nilpotent minimum algebras) with an application in formal logic \(\mathcal{L}^\ast\) ⋮ The \(R_0\)-type fuzzy logic metric space and an algorithm for solving fuzzy modus ponens ⋮ Some properties of the roots of theories in propositional logic systems ⋮ Simplification and independence of axioms of fuzzy logic systems IMTL and NM ⋮ NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL ⋮ Typical valuation medium and a simplified system of axioms of \({\mathcal L}^*\) ⋮ Implicational lattices and generalization of Stone's representation theorem ⋮ Quantitative logic ⋮ Some weaker versions of topological residuated lattices ⋮ Non-fuzzy versions of fuzzy reasoning in classical logics ⋮ \(R _{0}\) implication: Characteristics and applications
Cites Work
This page was built for publication: A formal deductive system for fuzzy propositional calculus