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 (only showing first 100 items - show all)

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

This page was built for publication: