Pages that link to "Item:Q1376008"
From MaRDI portal
The following pages link to A formal deductive system for fuzzy propositional calculus (Q1376008):
Displaying 30 items.
- Fuzzy prime Boolean filters and their operations in IMTL-algebras (Q376765) (← links)
- Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices (Q377479) (← links)
- Generalized Bosbach and Riečan states based on relative negations in residuated lattices (Q427915) (← links)
- Rough approximation operators on \(R_0\)-algebras (nilpotent minimum algebras) with an application in formal logic \(\mathcal{L}^\ast\) (Q506104) (← links)
- Some properties of fuzzy reasoning in propositional fuzzy logic systems (Q621597) (← links)
- Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras) (Q622081) (← links)
- NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL (Q703374) (← links)
- Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic) (Q835272) (← links)
- Consistency degrees of theories and methods of graded reasoning in \(n\)-valued \(R_{0}\)-logic (NM-logic) (Q855815) (← links)
- Theory of generalized tautology in revised Kleene system (Q866229) (← links)
- Disjunctive elimination rule and its application in MTL (Q869116) (← links)
- On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras (Q931448) (← links)
- Quantitative logic (Q1007841) (← links)
- A triangular norm-based fuzzy predicate logic (Q1406864) (← links)
- On equivalent forms of fuzzy logic systems NM and IMTL (Q1406865) (← links)
- Compactness theorems of fuzzy semantics (Q1428901) (← links)
- Formalized theory of general fuzzy reasoning. (Q1429865) (← links)
- Non-fuzzy versions of fuzzy reasoning in classical logics (Q1602548) (← links)
- \(R _{0}\) implication: Characteristics and applications (Q1867637) (← links)
- A triangular-norm-based propositional fuzzy logic (Q1873678) (← links)
- Integrated semantics and logic metric spaces (Q1873679) (← links)
- A characterization of truth-functions in the nilpotent minimum logic (Q1885724) (← links)
- Some weaker versions of topological residuated lattices (Q2329013) (← links)
- Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space (Q2457027) (← links)
- The \(R_0\)-type fuzzy logic metric space and an algorithm for solving fuzzy modus ponens (Q2483068) (← links)
- Some properties of the roots of theories in propositional logic systems (Q2483080) (← links)
- Simplification and independence of axioms of fuzzy logic systems IMTL and NM (Q2486056) (← links)
- Typical valuation medium and a simplified system of axioms of \({\mathcal L}^*\) (Q2505164) (← links)
- STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES (Q4553369) (← links)
- Implicational lattices and generalization of Stone's representation theorem (Q5955902) (← links)
