A formal deductive system for fuzzy propositional calculus
From MaRDI portal
Recommendations
Cites work
Cited in
(36)- scientific article; zbMATH DE number 1076496 (Why is no real title available?)
- 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)
- Stone duality for \(R_0\)-algebras with internal states
- The theory of conditional \(\alpha\)-tautologies based on the regular implication operators
- scientific article; zbMATH DE number 647718 (Why is no real title available?)
- Quantitative logic
- Compactness theorems of fuzzy semantics
- Non-fuzzy versions of fuzzy reasoning in classical logics
- Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices
- On equivalent forms of fuzzy logic systems NM and IMTL
- Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space
- Generalized Bosbach and Riečan states based on relative negations in residuated lattices
- Implicational lattices and generalization of Stone's representation theorem
- Formalized theory of general fuzzy reasoning.
- Fuzzy prime Boolean filters and their operations in IMTL-algebras
- scientific article; zbMATH DE number 2219576 (Why is no real title available?)
- Simplification and independence of axioms of fuzzy logic systems IMTL and NM
- Integrated semantics and logic metric spaces
- The \(R_0\)-type fuzzy logic metric space and an algorithm for solving fuzzy modus ponens
- NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL
- Generalized quasi-tautology of an interval-valued fuzzy propositional logic system and its classification
- Disjunctive elimination rule and its application in MTL
- Some properties of fuzzy reasoning in propositional fuzzy logic systems
- Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic)
- A characterization of truth-functions in the nilpotent minimum logic
- Some properties of the roots of theories in propositional logic systems
- scientific article; zbMATH DE number 4152343 (Why is no real title available?)
- \(R _{0}\) implication: Characteristics and applications
- Typical valuation medium and a simplified system of axioms of \({\mathcal L}^*\)
- Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras)
- A triangular-norm-based propositional fuzzy logic
- Some weaker versions of topological residuated lattices
- Theory of generalized tautology in revised Kleene system
- Rough approximation operators on \(R_0\)-algebras (nilpotent minimum algebras) with an application in formal logic \(\mathcal{L}^\ast\)
- A triangular norm-based fuzzy predicate logic
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)
