Recommendations
Cited in
(only showing first 100 items - show all)- A proof of completeness for continuous first-order logic
- Canonicity in subvarieties of BL-algebras
- Fuzzy logics with an additional involutive negation
- Dualities in the class of extended Boolean functions
- Reasoning with belief functions over Belnap-Dunn logic
- The Cantor-Bernstein-Schröder theorem via universal algebra.
- Model checking of linear-time properties in multi-valued systems
- Intuitionistic fuzzy filter theory on residuated lattices
- Residuated logics based on strict triangular norms with an involutive negation
- scientific article; zbMATH DE number 7563779 (Why is no real title available?)
- FUZZY CONNECTIONS AND COMPLETENESS IN COMPLETE RESIDUATED LATTICES
- Sheffer stroke \(\mathrm{R}_0\)-algebras
- Skolemization and Herbrand theorems for lattice-valued logics
- Derivations of commutative residuated lattices
- Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices
- Unilinear residuated lattices: axiomatization, varieties and FEP
- Dominance on continuous Archimedean triangular norms and generalized Mulholland inequality
- Projectivity in (bounded) commutative integral residuated lattices
- Generalized Bosbach and Riečan states based on relative negations in residuated lattices
- The measure of fuzzy filters on BL-algebras
- TL-filters of integral residuated l-monoids
- Granular variable precision fuzzy rough sets with general fuzzy relations
- Approximation and universality of fuzzy Turing machines
- Supporting Fuzzy Rough Sets in Fuzzy Description Logics
- Non-classical metatheory for non-classical logics
- On equivalent forms of fuzzy logic systems NM and IMTL
- Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
- State BCK-algebras and state-morphism BCK-algebras.
- Multimodal epistemic Łukasiewicz logics with application in immune system
- Regularity in residuated lattices
- Fuzzy logic and the Linz seminar: themes and some personal reminiscences
- \(L\)-fuzzy closure systems
- Good fuzzy preorders on fuzzy power structures
- Associativity of triangular norms characterized by the geometry of their level sets
- Characterizing when an ordinal sum of t-norms is a t-norm on bounded lattices
- \(\alpha\)-filters and prime \(\alpha\)-filter spaces in residuated lattices
- An inference engine based on fuzzy logic for uncertain and imprecise expert reasoning
- Dominance on strict triangular norms and Mulholland inequality
- On revising fuzzy belief bases
- The prime and maximal spectra and the reticulation of BL-algebras
- Lift and generalized ordinal sum of negations on bounded posets
- A differentiable first-order rule learner for inductive logic programming
- Convergence and fixed points by fuzzy orders
- Are basic algebras residuated structures?
- Structural induction in institutions
- Lattice-valued fuzzy Turing machines: computing power, universality and efficiency
- A complete fuzzy logical system to deal with trust management systems
- Generalizations to the constructions of t-norms: rotation(-annihilation) construction
- Functional completeness of bounded structures of fuzzy logic with wvt-operators
- Modeling sorites reasoning with adaptive fuzzy logic
- Representation theorems for some fuzzy logics based on residuated non-distributive lattices
- Belief functions on MV-algebras of fuzzy sets: an overview
- Characterizations of \(n\)-fold filters in triangle algebras
- GENERALIZED RESIDUATED LATTICES BASED F-TRANSFORM
- A conditionally cancellative left-continuous t-norm is not necessarily continuous
- The archimedean property for t-norms in interval-valued fuzzy set theory
- Some Properties of Residuated Lattices
- Join-completions of \(L\)-ordered sets
- Asymmetric equivalences in fuzzy logic
- Rees coextensions of finite tomonoids and free pomonoids
- Involutive monoidalt-norm based logic andR0 logic
- REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
- Characterization of unidimensional averaged similarities
- Knowledge spaces with graded knowledge states
- Terminating calculi for propositional Dummett logic with subformula property
- Normal forms for fuzzy logics: a proof-theoretic approach
- On the impact of sup‐compositions in the resolution of multi‐adjoint relation equations
- On the role of complete lattices in mathematical morphology: from tool to uncertainty model
- Structural and universal completeness in algebra and logic
- scientific article; zbMATH DE number 7682559 (Why is no real title available?)
- Fuzzy \(\alpha \)-cut in rough sets and its application
- Consequence and degrees of truth in many-valued logic
- Fuzzy logic and arithmetical hierarchy. IV
- Computing sets of graded attribute implications with witnessed non-redundancy
- Convex MV-algebras: many-valued logics meet decision theory
- (Dual) hoops have unique halving
- 1998 European Summer Meeting of the Association for Symbolic Logic
- On a class of residuated semilattice monoids
- Consistency degrees of theories in some systems of propositional fuzzy logic
- Some New Probability Operators
- A triangular-norm-based propositional fuzzy logic
- Algebraic methods for orthopairs and induced rough approximation spaces
- A triangular norm-based fuzzy predicate logic
- New topology in residuated lattices
- State maps on semihoops
- Generalized probabilism: Dutch books and accuracy domination
- \(T\)-type regular \(L\)-relations on a complete Brouwerian lattice
- A Survey on the Algebras of the So–Called Intuitionistic Fuzzy Sets (IFS)
- Similarity relations and BK-relational products
- Finite model property and varieties of BL-algebras
- Making fuzzy description logic more general
- Bisimulations for fuzzy automata
- Density revisited
- States on finite linearly ordered IMTL-algebras
- An algebraic generalization of the notion of tribe
- Natural duality, modality, and coalgebra
- Interpolation of fuzzy data: analytical approach and overview
- Rotation-invariant t-norms: where triple rotation and rotation-annihilation meet
- Reasoning about mathematical fuzzy logic and its future
- Solution to open problems on fuzzy filters in logical algebras and secure communication encoding scheme on filters
This page was built for publication: Metamathematics of fuzzy logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1307301)
