Metamathematics of fuzzy logic

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Logical aspects of lattices and related structures (03G10) Undecidability and degrees of sets of sentences (03D35)

Cited In (only showing first 100 items - show all)

Fuzzy Galois Connections
EI, involutory and EQI-ideal in bounded BCK-algebras.
MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions
Optimization in temporal qualitative constraint networks
Borel on the heap
Generalized probabilism: Dutch books and accuracy domination
Bisimulations for fuzzy automata
Substructural fuzzy logics
Direct Factorization by Similarity of Fuzzy Concept Lattices by Factorization of Input Data
Non-dual fuzzy connections
Graded consequence revisited
An introduction to quantaloid-enriched categories
Fuzzy terms
A new approach for classification of filters in residuated lattices
Effect algebras with state operator
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
Pseudovarieties of algebras with fuzzy equalities.
States on quantum and algebraic structures and their integral representation
Concept lattices and order in fuzzy logic
Concept lattices of isotone vs. antitone Galois connections in graded setting: mutual reducibility revisited
Fuzzy closure operators
A note on standard completeness for some extensions of uninorm logic
Is there a need for fuzzy logic?
Fuzzy power structures
Density elimination
Quantitative domains via fuzzy sets. I: Continuity of fuzzy directed complete posets
Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
Triangular norms. Position paper I: Basic analytical and algebraic properties.
Conditional probability, fuzzy sets, and possibility: a unifying view
Quantitative logic
Some types of generalized fuzzy filters of BL-algebras
On vagueness, truth values and fuzzy logics
A note on Trillas' CHC models
A temporal semantics for basic logic
Commutative integral bounded residuated lattices with an added involution
Automata theory based on complete residuated lattice-valued logic: Pushdown automata
Characterizations of (weakly) Archimedean t-norms in interval-valued fuzzy set theory
On the reflection invariance of residuated chains
Automata theory based on complete residuated lattice-valued logic: a categorical approach
Complete relations on fuzzy complete lattices
Representations and constructions of similarity-based fuzzy orderings.
The approximation of piecewise linear membership functions and Łukasiewicz operators
Computing coproducts of finitely presented Gödel algebras
Continuous triangular subnorms.
How to construct left-continuous triangular norms -- state of the art.
Standard completeness theorem for \(\Pi\)MTL
Rotation logics
Toward a perception-based theory of probabilistic reasoning with imprecise probabilities
Representation of fuzzy subsets by Galois connections
A general frame for intuitionistic fuzzy rough sets
Expanding basic fuzzy logic with truth constants for component delimiters
Lattice-valued semiuniform convergence spaces
Sup-t-norm and inf-residuum are one type of relational product: unifying framework and consequences
Weakly linear systems of fuzzy relation inequalities: the heterogeneous case
A theory of vague lattices based on many-valued equivalence relations. I: General representation results
Generalized MV-algebras
A characterization theorem on the rotation construction for triangular norms
A general method for constructing left-continuous t-norms
On a class of left-continuous \(\text t\)-norms
Observations on the monoidal t-norm logic
Arithmetic operators in interval-valued fuzzy set theory
Continuous lattice effect algebras admitting order-continuous states
Fuzzy function as an approximate solution to a system of fuzzy relation equations
BCI-implicative ideals of BCI-algebras
On extensions of triangular norms on bounded lattices
On the representation of fuzzy rules
Implication-based models of monotone fuzzy rule bases
Supermigrative semi-copulas and triangular norms
Extending maps to profinite completions in finitely generated quasivarieties
Interpolativity of at-least and at-most models of monotone single-input single-output fuzzy rule bases
Complete and directed complete \(\Omega \)-categories
Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics
Triangular norm based predicate fuzzy logics
Radicals in MTL-algebras
System of fuzzy relation equations as a continuous model of IF-THEN rules
De Finetti theorem and Borel states in \([0, 1]\)-valued algebraic logic
Optimal decompositions of matrices with grades into binary and graded matrices
Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
Lattice-theoretic properties of algebras of logic
Stratified \(L\)-ordered quasiuniform limit spaces
Resolution of fuzzy relational equations -- method, algorithm and software with applications
Boolean filters and positive implicative filters of residuated lattices
Determinization of fuzzy automata with membership values in complete residuated lattices
Filter theory of BL algebras
\(H\)-transformation of t-norms
Fuzzy implicative and Boolean filters of \(R_{0}\) algebras
Fuzzy Boolean and positive implicative filters of BL-algebras
Fuzzy transforms: theory and applications
Probabilistic averaging in bounded commutative residuated \(\ell\)-monoids
Some types of filters in BL algebras
Weakly implicative (fuzzy) logics. I: Basic properties
A small set of axioms for residuated logic
Fuzzy filters of MTL-algebras
Fuzzy filters of BL-algebras
Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops
Fuzzy Horn logic. I. Proof theory.
A survey on the existing classes of uninorms
On Fuzzy Logic I Many‐valued rules of inference

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)