Metamathematics of fuzzy logic
From MaRDI portal
Publication:1307301
zbMath0937.03030MaRDI QIDQ1307301
Publication date: 31 October 1999
Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)
fuzzy logicalgebraic semanticsapproximate reasoningmany-valued logicresiduated latticesgraded notion of entailmentt-norm logics
Fuzzy logic; logic of vagueness (03B52) Undecidability and degrees of sets of sentences (03D35) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logical aspects of lattices and related structures (03G10) Many-valued logic (03B50)
Related Items (only showing first 100 items - show all)
Borel on the heap ⋮ An introduction to quantaloid-enriched categories ⋮ Fuzzy terms ⋮ States on quantum and algebraic structures and their integral representation ⋮ Fuzzy relational inequalities and equations, fuzzy quasi-orders, closures and openings of fuzzy sets ⋮ Minimal solutions of generalized fuzzy relational equations: probabilistic algorithm based on greedy approach ⋮ Effect algebras with state operator ⋮ Pseudovarieties of algebras with fuzzy equalities. ⋮ A new approach for classification of filters in residuated lattices ⋮ Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras ⋮ Validity in a logic that combines supervaluation and fuzzy logic based theories of vagueness ⋮ The structure of generalized intermediate syllogisms ⋮ The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic ⋮ Characterizations and new subclasses of \(\mathcal{I}\)-filters in residuated lattices ⋮ Construction of finite \(\mathbf L\)-groups. ⋮ The universal fuzzy automaton ⋮ Triadic fuzzy Galois connections as ordinary connections ⋮ The construction of left-continuous t-norms: a geometric approach in two dimensions ⋮ A note on the continuity of triangular norms ⋮ Exploring users' preferences in a fuzzy setting ⋮ Franco Montagna's work on provability logic and many-valued logic ⋮ A non-commutative generalization of Łukasiewicz rings ⋮ On convergence in \(L\)-valued fuzzy topological spaces ⋮ Ordinal sum construction for uninorms and generalized uninorms ⋮ Generalized co-annihilator of BL-algebras ⋮ On annihilators in BL-algebras ⋮ Fuzzy relation and fuzzy function over fuzzy sets: a retrospective ⋮ Internal states on equality algebras ⋮ Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic ⋮ Equational type characterization for \(\sigma\)-complete MV-algebras. ⋮ More on fuzzy lattices ⋮ The variety generated by all the ordinal sums of perfect MV-chains ⋮ Curry's paradox and \(\omega \)-inconsistency ⋮ The proof by cases property and its variants in structural consequence relations ⋮ Fuzzy prime Boolean filters and their operations in IMTL-algebras ⋮ Generalized Bosbach states. II ⋮ Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices ⋮ Proof theory for locally finite many-valued logics: semi-projective logics ⋮ Omitting types for infinitary \([0,1\)-valued logic] ⋮ On good EQ-algebras ⋮ A non-associative generalization of Hájek's BL-algebras ⋮ Topological properties of prime filters in MTL-algebras and fuzzy set representations for MTL-algebras ⋮ On the duality of aggregation operators and \(k\)-negations ⋮ States on finite linearly ordered IMTL-algebras ⋮ Natural duality, modality, and coalgebra ⋮ Moore-Smith convergence in (L,M)-fuzzy topology ⋮ Gradualness, uncertainty and bipolarity: making sense of fuzzy sets ⋮ Reasoning about mathematical fuzzy logic and its future ⋮ The order-theoretic duality and relations between partial metrics and local equalities ⋮ An algebraic generalization of the notion of tribe ⋮ Interpolation of fuzzy data: analytical approach and overview ⋮ A relational perspective of attribute reduction in rough set-based data analysis ⋮ A formal theory of generalized intermediate syllogisms ⋮ Handling the valuation of the predicates in a fuzzy model ⋮ Bisimulations for fuzzy automata ⋮ Perturbation of fuzzy sets and fuzzy reasoning based on normalized Minkowski distances ⋮ Fuzzy measures and integrals defined on algebras of fuzzy subsets over complete residuated lattices ⋮ Preordered sets valued in a GL-monoid ⋮ Generalized Bosbach and Riečan states based on relative negations in residuated lattices ⋮ State operators on generalizations of fuzzy structures ⋮ Some types of filters in MTL-algebras ⋮ Bivalent and other solutions of fuzzy relational equations via linguistic hedges ⋮ On adjunctions between Lim, SL-Top, and SL-Lim ⋮ Coreflective hull of finite strong L-topological spaces ⋮ Bases in semilinear spaces over join-semirings ⋮ Kernel systems on \(L\)-ordered sets ⋮ Commutative bounded integral residuated orthomodular lattices are Boolean algebras ⋮ Interval additive generators of interval t-norms and interval t-conorms ⋮ Algebraic models of deviant modal operators based on De Morgan and Kleene lattices ⋮ Formalization of implication based fuzzy reasoning method ⋮ Partially undetermined many-valued events and their conditional probability ⋮ \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation ⋮ Multi-adjoint property-oriented and object-oriented concept lattices ⋮ Generalized fuzzy rough description logics ⋮ The standard completeness of interval-valued monoidal t-norm based logic ⋮ Interval MV-algebras and generalizations. ⋮ A survey of fuzzy implication algebras and their axiomatization ⋮ Editorial: Weighted logics for artificial intelligence -- an introductory discussion ⋮ On finitely-valued fuzzy description logics ⋮ Consistency reasoning in lattice-based fuzzy description logics ⋮ Complexity of fuzzy answer set programming under Łukasiewicz semantics ⋮ Reasoning about norms under uncertainty in dynamic environments ⋮ Primary decomposition of filters in BL-algebras ⋮ Generalized fuzzy filters in non-commutative residuated lattices. ⋮ Lattice-valued simulations for quantitative transition systems ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ Fuzzy \(n\)-fold fantastic filters in BL-algebras ⋮ \(n\)-fold filters of MTL-algebras ⋮ Normal residuated lattices ⋮ Transitivity of fuzzy relations under discretization ⋮ Residual implications on the set of discrete fuzzy numbers ⋮ A map of dependencies among three-valued logics ⋮ Fuzzy logics and fuzzy model theory ⋮ Characterizations of fuzzy ideals in coresiduated lattices ⋮ Triadic concept lattices in the framework of aggregation structures ⋮ Equivalence operators that are associative ⋮ Nondeterministic fuzzy automata with membership values in complete residuated lattices ⋮ Semantic-based regularization for learning and inference ⋮ EI, involutory and EQI-ideal in bounded BCK-algebras. ⋮ Optimization in temporal qualitative constraint networks
This page was built for publication: Metamathematics of fuzzy logic
