Metamathematics of fuzzy logic
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- On copulas, quasicopulas and fuzzy logic
- On \(v\)-filters and normal \(v\)-filters of a residuated lattice with a weak \(vt\)-operator
- A non-commutative generalization of Łukasiewicz rings
- On arithmetic in the Cantor-Łukasiewicz fuzzy set theory
- A logic for reasoning about the probability of fuzzy events
- NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach
- Product logic and probabilistic Ulam games
- Analytic calculi for product logics
- Fuzzy Galois connections categorically
- Partially undetermined many-valued events and their conditional probability
- An analysis of Ruspini partitions in Gödel logic
- Algebras with fuzzy equalities
- Are fuzzy sets a reasonable tool for modeling vague phenomena?
- A note on congruence permutability and fuzzy logic
- Fuzzy Horn logic. II. Implicationally defined classes.
- A theorem about infinite-valued sentential logic
- Classes of filters in generalizations of commutative fuzzy structures
- Sup-t-norm and inf-residuum are a single type of relational equations
- The saturated prefilter monad
- MV-algebras with internal states and probabilistic fuzzy logics
- Conic aggregation functions
- Automata theory based on complete residuated lattice-valued logic: Turing machines
- Computation of the greatest simulations and bisimulations between fuzzy automata
- Fuzzy connections on adjoint triples
- Topological properties of prime filters in MTL-algebras and fuzzy set representations for MTL-algebras
- Characterizations and new subclasses of \(\mathcal{I}\)-filters in residuated lattices
- Construction of finite \(\mathbf L\)-groups.
- A note on the continuity of triangular norms
- The structure of generalized intermediate syllogisms
- Validity in a logic that combines supervaluation and fuzzy logic based theories of vagueness
- The universal fuzzy automaton
- Triadic fuzzy Galois connections as ordinary connections
- The construction of left-continuous t-norms: a geometric approach in two dimensions
- Exploring users' preferences in a fuzzy setting
- A comprehensive theory of trichotomous evaluative linguistic expressions
- Filters in fuzzy class theory
- On many-valued stratified \(L\)-fuzzy convergence spaces
- Solution of a system of linear equations with fuzzy numbers
- Gradualness, uncertainty and bipolarity: making sense of fuzzy sets
- Moore-Smith convergence in (L,M)-fuzzy topology
- The order-theoretic duality and relations between partial metrics and local equalities
- On stratified \(L\)-convergence spaces: pretopological axioms and diagonal axioms
- An axiomatic approach of fuzzy rough sets based on residuated lattices
- The free \(n\)-generated BL-algebra
- A formal theory of generalized intermediate syllogisms
- Generalized extensionality of fuzzy relations
- On fuzzy type theory
- Bivalent and other solutions of fuzzy relational equations via linguistic hedges
- On adjunctions between Lim, SL-Top, and SL-Lim
- Preordered sets valued in a GL-monoid
- Some types of filters in MTL-algebras
- Fuzzy Galois connections under weak conditions
- Automata theory based on complete residuated lattice-valued logic: Reduction and minimization
- Approximation of extensional fuzzy relations over a residuated lattice
- Fuzzy points and attachment
- Stratified \(L\)-ordered convergence structures
- Filters of residuated lattices and triangle algebras
- On varieties of MV-algebras with internal states
- On filter theory of residuated lattices
- A logical characterization of coherence for imprecise probabilities
- A categorical equivalence for product algebras
- State morphism MV-algebras
- Interval additive generators of interval t-norms and interval t-conorms
- Ordered groups with a conucleus
- A note on the first‐order logic of complete BL‐chains
- Why are papers about filters on residuated structures (usually) trivial?
- Adding structure to MV-algebras
- Algebraic analysis of fuzzy systems
- An enriched category approach to many valued topology
- Craig interpolation for semilinear substructural logics
- The Rényi-Ulam games and many-valued logics
- Complexity of t-tautologies
- \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic
- 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
- Ł\(\Pi\) logic with fixed points
- The coherence of Łukasiewicz assessments is NP-complete
- Proof theory for locally finite many-valued logics: semi-projective logics
- A logical and algebraic treatment of conditional probability
- On the predicate logics of continuous t-norm BL-algebras
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
- Approximation and robustness of fuzzy finite automata
- A general Glivenko theorem
- An algebraic study of Peterson's intermediate syllogisms
- The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete
- Aggregation functions: means
- An early approach toward graded identity and graded membership in set theory
- Relationships between \(L\)-ordered convergence structures and strong \(L\)-topologies
- Mathematical Fuzzy Logics
- Analysis of generalized square of opposition with intermediate quantifiers
- \(n\)-fold filters of MTL-algebras
- Interval Additive Generators of Interval T-Norms
- What is graded membership?
- Fuzzy simulations and bisimulations between fuzzy automata
- The proof by cases property and its variants in structural consequence relations
- Franco Montagna's work on provability logic and many-valued logic
- Varieties of BL-algebras. I: General properties.
- Generalized fuzzy filters of BL-algebras
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)
