Pages that link to "Item:Q2871197"
From MaRDI portal
The following pages link to Handbook of mathematical fuzzy logic. Volume 1 (Q2871197):
Displaying 50 items.
- Pseudovarieties of algebras with fuzzy equalities. (Q277570) (← links)
- A note on some types of filters in MTL-algebras (Q279343) (← links)
- The Rényi-Ulam games and many-valued logics (Q679806) (← links)
- Single chain completeness and some related properties (Q679807) (← links)
- Variety theorem for algebras with fuzzy orders (Q679841) (← links)
- A cut-free calculus for second-order Gödel logic (Q1677040) (← links)
- Closure structures parameterized by systems of isotone Galois connections (Q1679638) (← links)
- Back-and-forth systems for fuzzy first-order models (Q1795203) (← links)
- Neighborhood semantics for modal many-valued logics (Q1795204) (← links)
- Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization (Q1797801) (← links)
- Real coextensions as a tool for constructing triangular norms (Q1991859) (← links)
- Similarity monadic basic logic (Q1999121) (← links)
- Characterizations of \((U^2,N)\)-implications generated by 2-uninorms and fuzzy negations from the point of view of material implication (Q2037443) (← links)
- Strictly join irreducible varieties of BL-algebras: the missing pieces (Q2049269) (← links)
- Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model (Q2055796) (← links)
- Analyzing differentiable fuzzy logic operators (Q2060729) (← links)
- On the KLM properties of a fuzzy DL with typicality (Q2146055) (← links)
- Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic (Q2212726) (← links)
- Logics of left variable inclusion and Płonka sums of matrices (Q2219088) (← links)
- A Lindström theorem in many-valued modal logic over a finite MTL-chain (Q2219166) (← links)
- Lindström theorems in graded model theory (Q2220488) (← links)
- Finite model property and varieties of BL-algebras (Q2233195) (← links)
- MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions (Q2282273) (← links)
- Relational division in rank-aware databases (Q2282883) (← links)
- On linear varieties of MTL-algebras (Q2317504) (← links)
- Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic (Q2317508) (← links)
- New complexity results for Łukasiewicz logic (Q2317509) (← links)
- Monoidal functional dependencies (Q2353408) (← links)
- Kapsner complementation: an algebraic take on Kapsner strong logics (Q2698283) (← links)
- Involutive uninorm logic with fixed point enjoys finite strong standard completeness (Q2700813) (← links)
- On Standard Completeness for Non-commutative Many-Valued Logics (Q2829669) (← links)
- Handbook of mathematical fuzzy logic. Volume 2 (Q2871198) (← links)
- Tools for the Investigation of Substructural and Paraconsistent Logics (Q2938481) (← links)
- The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics (Q2938484) (← links)
- Bridges Between Contextual Linguistic Models of Vagueness and T-Norm Based Fuzzy Logic (Q2948585) (← links)
- Consequence and Degrees of Truth in Many-Valued Logic (Q2948586) (← links)
- Semi-linear Varieties of Lattice-Ordered Algebras (Q2948590) (← links)
- On Semantic Games for Łukasiewicz Logic (Q3299579) (← links)
- From Classical to Fuzzy Type Theory (Q3454816) (← links)
- Infinite-Valued First-Order Łukasiewicz Logic: Hypersequent Calculi Without Structural Rules and Proof Search for Sentences in the Prenex Form (Q4558324) (← links)
- A Note on Drastic Product Logic (Q5230076) (← links)
- (Q5687949) (← links)
- The coextension of commutative pomonoids and its application to triangular norms (Q5743095) (← links)
- Logical perspectives on the foundations of probability (Q6049746) (← links)
- Fuzzy quantifiers defined over fuzzy domains (Q6058013) (← links)
- On decidability of concept satisfiability in description logic with product semantics (Q6079414) (← links)
- Rational Pavelka logic: the best among three worlds? (Q6083147) (← links)
- Qualitative reasoning in a two-layered framework (Q6099380) (← links)
- Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic (Q6107297) (← links)
- An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic (Q6163912) (← links)
