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
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
