scientific article

Publication date: 3 December 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

fuzzy logic fuzzy set MV-algebra t-norm many-valued logics Łukasiewicz logic

Fuzzy logic; logic of vagueness (03B52) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) MV-algebras (06D35) Many-valued logic (03B50)

Related Items

Fuzzy Horn logic. II. Implicationally defined classes. ⋮ A multiple-valued logic approach to the design and verification of hardware circuits ⋮ An introduction to quantaloid-enriched categories ⋮ Minimal solutions of generalized fuzzy relational equations: probabilistic algorithm based on greedy approach ⋮ Validity in a logic that combines supervaluation and fuzzy logic based theories of vagueness ⋮ The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic ⋮ Representations through a monoid on the set of fuzzy implications ⋮ On distributivity equations of implications and contrapositive symmetry equations of implications ⋮ Construction of finite \(\mathbf L\)-groups. ⋮ Fuzzy languages with infinite range accepted by fuzzy automata: pumping lemma and determinization procedure ⋮ Triadic fuzzy Galois connections as ordinary connections ⋮ De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics ⋮ A characterization of fuzzy implications generated by generalized quantifiers ⋮ Relations in fuzzy class theory: initial steps ⋮ \((S,N)\)- and \(R\)-implications: A state-of-the-art survey ⋮ Three and two-valued Łukasiewicz theories in the formal deductive system \({\mathcal L}^*\) (NM-logic) ⋮ Franco Montagna's work on provability logic and many-valued logic ⋮ The law of importation for discrete implications ⋮ Conjunction-based sorites: a misguided objection to degree-theoretic (fuzzy) solutions to sorites paradoxes ⋮ Contrapositive symmetrisation of fuzzy implications -- revisited ⋮ The logic of tied implications. II. Syntax ⋮ Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems ⋮ Consistency degrees of theories and methods of graded reasoning in \(n\)-valued \(R_{0}\)-logic (NM-logic) ⋮ Robustness of interval-valued fuzzy inference triple I algorithms based on normalized Minkowski distance ⋮ Universes of fuzzy sets and axiomatizations of fuzzy set theory. II: Category theoretic approaches ⋮ Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) ⋮ Distributivity of residual implications over conjunctive and disjunctive uninorms ⋮ Truth values on generalizations of some commutative fuzzy structures ⋮ On approximate reasoning with graded rules ⋮ Fuzzy logic with countable evaluated syntax revisited ⋮ A compendium of fuzzy weak orders: representations and constructions ⋮ Fuzzy sets and sheaves. I: Basic concepts ⋮ Fuzzy sets and sheaves. II: Sheaf-theoretic foundations of fuzzy set theory with applications to algebra and topology ⋮ Fuzzy logics based on \([0,1)\)-continuous uninorms ⋮ A logic of graded attributes ⋮ Some properties of fuzzy reasoning in propositional fuzzy logic systems ⋮ Aggregation functions: means ⋮ Distributive equations of implications based on nilpotent triangular norms ⋮ On good EQ-algebras ⋮ Bases of closure systems over residuated lattices ⋮ Fuzzy XNOR connectives in fuzzy logic ⋮ Central points and approximation in residuated lattices ⋮ Semi-uninorms and implications on a complete lattice ⋮ Handling the valuation of the predicates in a fuzzy model ⋮ An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words ⋮ Maximal and premaximal paraconsistency in the framework of three-valued semantics ⋮ Bivalent and other solutions of fuzzy relational equations via linguistic hedges ⋮ On adjunctions between Lim, SL-Top, and SL-Lim ⋮ Intersection of Yager's implications with QL and D-implications ⋮ Formalization of implication based fuzzy reasoning method ⋮ Ideal paraconsistent logics ⋮ A survey of fuzzy implication algebras and their axiomatization ⋮ Editorial: Weighted logics for artificial intelligence -- an introductory discussion ⋮ On finitely-valued fuzzy description logics ⋮ The lattice-theoretic structure of the sets of triangular norms and semi-copulas ⋮ Suszko's thesis, inferential many-valuedness, and the notion of a logical system ⋮ On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras ⋮ Generalizing functional completeness in Belnap-Dunn logic ⋮ Self-dual operators and a general framework for weighted nilpotent operators ⋮ Determinization of fuzzy automata via factorization of fuzzy states ⋮ On ordinal sum implications ⋮ Basic substructural core fuzzy logics and their extensions: mianorm-based logics ⋮ Topological structures of \(L\)-fuzzy rough sets and similarity sets of \(L\)-fuzzy relations ⋮ Automata theory based on complete residuated lattice-valued logic: Turing machines ⋮ The general nilpotent operator system ⋮ Characterizations of residual coimplications of pseudo-uninorms on a complete lattice ⋮ Graded dominance and related graded properties of fuzzy connectives ⋮ Convex combinations of fuzzy logical operations ⋮ Distributivity and conditional distributivity of semi-uninorms over continuous t-conorms and t-norms ⋮ An analysis of Ruspini partitions in Gödel logic ⋮ Optimal triangular decompositions of matrices with entries from residuated lattices ⋮ The law of importation versus the exchange principle on fuzzy implications ⋮ Graded properties of unary and binary fuzzy connectives ⋮ Characterizing when an ordinal sum of t-norms is a t-norm on bounded lattices ⋮ Threshold generation method of construction of a new implication from two given ones ⋮ Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory ⋮ A characterization of (U,N), RU, QL and D-implications derived from uninorms satisfying the law of importation ⋮ On the distributivity of fuzzy implications over continuous and Archimedean triangular conorms ⋮ Implication structures, fuzzy subsets, and enriched categories ⋮ Knowledge spaces with graded knowledge states ⋮ Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) ⋮ On a new class of fuzzy implications: \(h\)-implications and generalizations ⋮ On fuzzy type theory ⋮ Two-dimensional awareness logics ⋮ Two classes of pseudo-triangular norms and fuzzy implications ⋮ Concept lattices of isotone vs. antitone Galois connections in graded setting: mutual reducibility revisited ⋮ On the characterization of Yager's implications ⋮ Residuated lattices of size \(\leq 12\) ⋮ Pairwise comaximal elements and the classification of all \(\vee \)-distributive triangular norms of length 3 ⋮ Continuous R-implications generated from representable aggregation functions ⋮ Confluence and termination of fuzzy relations ⋮ Truth values of quantum phenomena ⋮ A survey on fuzzy relational equations. I: Classification and solvability ⋮ A way to interpret Łukasiewicz logic and basic logic ⋮ Quantitative logic ⋮ Taking degrees of truth seriously ⋮ Weighted automata and multi-valued logics over arbitrary bounded lattices ⋮ Algebras with fuzzy equalities ⋮ Varieties of BL-algebras ⋮ A note on congruence permutability and fuzzy logic ⋮ Convex MV-algebras: many-valued logics meet decision theory ⋮ A neural implementation of multi-adjoint logic programming ⋮ Residual implications revisited. Notes on the Smets-Magrez theorem. ⋮ A formal study of linearity axioms for fuzzy orderings ⋮ Triangular norms. Position paper II: General constructions and parameterized families ⋮ On the characterizations of \((S,N)\)-implications ⋮ An exercise on the generation of many-valued dynamic logics ⋮ Basing sequent systems on exclusive-or ⋮ Rule reduction for efficient inferencing in similarity based reasoning ⋮ Monoidal t-norm based logic: Towards a logic for left-continuous t-norms ⋮ A new axiomatization for involutive monoidal t-norm-based logic ⋮ Antonyms and linguistic quantifiers in fuzzy logic ⋮ De Finetti theorem and Borel states in \([0, 1\)-valued algebraic logic] ⋮ Matrix representations and interdependency on \(L\)-fuzzy covering-based approximation operators ⋮ On the scope of some formulas defining additive connectives in fuzzy logics ⋮ Grouping fuzzy sets by similarity ⋮ Computational complexities of axiomatic extensions of monoidal t-norm based logic ⋮ Natural deduction for Post's logics and their duals ⋮ Adding a conditional to Kripke's theory of truth ⋮ The double power monad is the composite power monad ⋮ Preservation of fuzzy relation properties based on fuzzy conjunctions and disjunctions during aggregation process ⋮ Weakening-free, non-associative fuzzy logics: micanorm-based logics ⋮ Rewriting systems over similarity and generalized pseudometric spaces and their properties ⋮ On the composition of fuzzy power relations ⋮ Maxima and minima in fuzzified linear orderings ⋮ Compatibility of fuzzy power relations ⋮ Compositional meaning in logic ⋮ Self-extensional three-valued paraconsistent logics ⋮ A note on two's company: ``The humbug of many logical values ⋮ Four-valued paradefinite logics ⋮ A method to construct fuzzy implications -- rotation construction ⋮ On the \(\alpha(u,v)\)-symmetric implicational method for \(\mathrm{R}\)- and \((\mathrm{S},\mathrm{N})\)-implications ⋮ Representations and constructions of similarity-based fuzzy orderings. ⋮ Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers ⋮ Factorization of matrices with grades ⋮ Local finiteness in t-norm bimonoids: overlap cases ⋮ Involutive basic substructural core fuzzy logics: involutive mianorm-based logics ⋮ Steady states of max-Łukasiewicz fuzzy systems ⋮ Representation of fuzzy subsets by Galois connections ⋮ Fuzzy Turing machines: normal form and limitative theorems ⋮ On a new class of t-norms and t-conorms on bounded lattices ⋮ Normal forms and truth tables for fuzzy logics ⋮ Extending maps to profinite completions in finitely generated quasivarieties ⋮ The logic of the future in quantum theory ⋮ The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 ⋮ The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\) ⋮ The power of Belnap: sequent systems for \(SIXTEEN_{3 }\) ⋮ How to construct left-continuous triangular norms -- state of the art. ⋮ Residual implications and left-continuous t-norms which are ordinal sums of semigroups. ⋮ Compactness of fuzzy logics. ⋮ Continuous triangular subnorms. ⋮ Logical foundation of the quintuple implication inference methods ⋮ On the characterizations of fuzzy implications satisfying \(I(x,I(y,z))=I(I(x,y),I(x,z))\) ⋮ An application of classical logic's laws in formulas of fuzzy implications ⋮ Wave-particle duality and the objectiveness of ``true and ``false ⋮ New types of contrapositivisation of fuzzy implications with respect to fuzzy negations ⋮ Deresiduums of implications on a complete lattice ⋮ Factor analysis of ordinal data via decomposition of matrices with grades ⋮ A dissimilarity-based framework for generating inconsistency-tolerant logics ⋮ Sup-t-norm and inf-residuum are one type of relational product: unifying framework and consequences ⋮ An algorithm for producing fuzzy negations via conical sections ⋮ Analytic calculi for product logics ⋮ Fuzzy sets and formal logics ⋮ Pavelka-style fuzzy logic in retrospect and prospect ⋮ On properties of uninorms with underlying t-norm and t-conorm given as ordinal sums ⋮ QL-implications: some properties and intersections ⋮ A survey of weak connectives and the preservation of their properties by aggregations ⋮ On the representation of fuzzy rules ⋮ Characteristics and applications of \(J_{I,B}\)-implications via some classical logic tautologies ⋮ Variable-domain fuzzy sets. I: Representation ⋮ Variable-domain fuzzy sets. II: Apparatus ⋮ Cauchy-like functional equations for uninorms continuous in \((0,1)^{2}\) ⋮ Characterizations of \((U^2,N)\)-implications generated by 2-uninorms and fuzzy negations from the point of view of material implication ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ Lattice-type fuzzy order is uniquely given by its 1-cut: Proof and consequences ⋮ A comparison of fuzzy and annotated logic programming ⋮ Weighted automata ⋮ A temporal semantics for basic logic ⋮ Relational compositions in fuzzy class theory ⋮ On the relationship between limit spaces, many valued topological spaces, and many valued preorders ⋮ Acyclic rationality indicators of fuzzy choice functions ⋮ Algebras of fuzzy sets ⋮ Choice logics and their computational properties ⋮ Properties of uninorms with the underlying operations given as ordinal sums ⋮ Equivalence and characterization of probabilistic and survival implications ⋮ Some results on the degree of symmetry of fuzzy relations ⋮ Factorization of matrices with grades via essential entries ⋮ General overlap functions ⋮ A comparative study of variable precision fuzzy rough sets based on residuated lattices ⋮ The quantum pigeonhole principle as a violation of the principle of bivalence ⋮ On the continuity of residuals of triangular norms ⋮ The GUHA method and its meaning for data mining ⋮ Micanorm aggregation operators: basic logico-algebraic properties ⋮ Natural construction method of ordinal sum implication and its distributivity ⋮ On the distributivity for the ordinal sums of implications over t-norms and t-conorms ⋮ Distributivity equations of implications based on continuous triangular conorms. II ⋮ Bilattices for deductions in multi-valued logic ⋮ Hierarchical structure and applications of fuzzy logical systems ⋮ Ordinally equivalent data: a measurement-theoretic look at formal concept analysis of fuzzy attributes ⋮ Refinement in hybridised institutions ⋮ Many-valued logic and sequence arguments in value theory ⋮ New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers* ⋮ ON A NEW CLASS OF IMPLICATIONS: (g,min)-IMPLICATIONS AND SEVERAL CLASSICAL TAUTOLOGIES ⋮ Unnamed Item ⋮ On the capability of fuzzy set theory to represent concepts ⋮ On the \(T\)-partial order and properties ⋮ From Classical to Fuzzy Type Theory ⋮ Unnamed Item ⋮ A characterization of residual implications derived from left-continuous uninorms ⋮ Cauchy-like functional equation based on a class uninorm ⋮ Unnamed Item ⋮ DIFFERENT TYPES OF CONTINUITY OF TRIANGULAR NORMS REVISITED ⋮ From three to one: equivalence and characterization of material implications derived from co-copulas, probabilistic \(S\)-implications and survival \(S\)-implications ⋮ Modus tollens with respect to uninorms: \(U\)-modus tollens ⋮ Hardy’s paradox according to non-classical semantics ⋮ A modal theorem-preserving translation of a class of three-valued logics of incomplete information ⋮ Modeling the suppression task under weak completion and well-founded semantics ⋮ Possibility distributions generated by intuitionistic \textsf{L}-fuzzy sets ⋮ On the Rosser–Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz ⋮ Petr Hájek: A Scientific Biography ⋮ Consequence and Degrees of Truth in Many-Valued Logic ⋮ Monadic Fragments of Gödel Logics: Decidability and Undecidability Results ⋮ On interval fuzzy implications derived from interval additive generators of interval t-norms ⋮ GÖDEL ON MANY-VALUED LOGIC ⋮ On the degree of transitivity of a fuzzy relation ⋮ Lifting associative operations on subposets of a complete lattice ⋮ Fuzzy rough set models over two universes using textures ⋮ On closure properties of \(\mathcal{L}\)-valued linear languages ⋮ A three-valued Fregean quantification logic ⋮ Ordinal sums: from triangular norms to bi- and multivariate copulas ⋮ Formal concept analysis approach to understand digital evidence relationships ⋮ Two types of ordinal sums of fuzzy implications on bounded lattices ⋮ Avoiding flatness in factoring ordinal data ⋮ Reasoning with Uncertainty by Nmatrix–Metric Semantics ⋮ On \((G_O, O)\)-fuzzy rough sets based on overlap and grouping functions over complete lattices ⋮ Attribute dependencies for data with grades I^, ⋮ Towards Fuzzy Partial Set Theory ⋮ Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras ⋮ On triangular norm based axiomatic extensions of the weak nilpotent minimum logic ⋮ NEW GENERALIZED -IMPLICATIONS ⋮ STRICT FUZZY ORDERINGS WITH A GIVEN CONTEXT OF SIMILARITY ⋮ A new class of fuzzy implications derived from generalized \(h\)-generators ⋮ R-implications and the exchange principle: the case of border continuous t-norms ⋮ Introduction ⋮ A UNIFIED THEORY OF TRUTH AND PARADOX ⋮ Generalizations of (U, N)-implications derived from commutative semi-uninorms and pseudo-uninorms ⋮ On three implication-less fragments of t-norm based fuzzy logics ⋮ Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space ⋮ A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic. ⋮ Fuzzy Galois connections categorically ⋮ A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system ⋮ Plug and Play Negations ⋮ Fuzzy logic and enriched categories ⋮ Unified full implication algorithms of fuzzy reasoning ⋮ Parameterized Uncertain Reasoning Approach Based on a Lattice-Valued Logic ⋮ Fuzzy relational equations in general framework ⋮ A Survey of the Distributivity of Implications over Continuous T-norms and the Simultaneous Satisfaction of the Contrapositive Symmetry ⋮ Compositions of Fuzzy Implications ⋮ Fuzzy Implications: Some Recently Solved Problems ⋮ Some properties of the roots of theories in propositional logic systems ⋮ Simplification and independence of axioms of fuzzy logic systems IMTL and NM ⋮ Xor-Implications and E-Implications: Classes of Fuzzy Implications Based on Fuzzy Xor ⋮ Which logic is the real fuzzy logic? ⋮ The logic of tied implications. I: Properties, applications and representation ⋮ On ordinal sums of triangular norms on bounded lattices ⋮ Universes of fuzzy sets and axiomatizations of fuzzy set theory. I: Model-based and axiomatic approaches ⋮ Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5 ⋮ Archimedean components of triangular norms ⋮ Invariant fuzzy implications ⋮ Compositions of invariant fuzzy implications ⋮ Foundations of a set theory for fuzzy sets. 40 years of development ⋮ General IF-sets with triangular norms and their applications to group decision making ⋮ Issues on adjointness in multiple-valued logics ⋮ On Fuzzy Logic I Many‐valued rules of inference ⋮ Do exact shapes of fuzzy sets matter? ⋮ Effective Finite-Valued Approximations of General Propositional Logics ⋮ On continuity of the entropy-based differently implicational algorithm ⋮ Fuzzy Logic and the Linz Seminar: Themes and Some Personal Reminiscences ⋮ On the Equational Characterization of Continuous t-Norms ⋮ Continuous fuzzy Horn logic ⋮ Modulated fibring and the collapsing problem ⋮ Soft Constraints Processing over Divisible Residuated Lattices ⋮ Openings and closures of fuzzy preorderings: theoretical basics and applications to fuzzy rule-based systems ⋮ Truth-values as labels: a general recipe for labelled deduction ⋮ Omitting types in fuzzy logic with evaluated syntax ⋮ Supra-logic: using transfinite type theory with type variables for paraconsistency ⋮ Fuzzy adjunctions and fuzzy morphological operations based on implications ⋮ Three-Valued Paraconsistent Propositional Logics ⋮ Unnamed Item ⋮ A small set of axioms for residuated logic ⋮ Mathematical fuzzy logic as a tool for the treatment of vague information ⋮ Unnamed Item ⋮ Threshold Boolean logic ⋮ Sufficient triangular norms in many-valued logics with standard negation ⋮ Unnamed Item ⋮ REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION ⋮ BL-algebras and effect algebras ⋮ Similarity issues of confluence of fuzzy relations ⋮ Fuzzy Horn logic. I. Proof theory. ⋮ On Axioms and Rexpansions