Pages that link to "Item:Q1024552"

The following pages link to Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552):

Displaying 34 items.

• Densification of FL chains via residuated frames (Q271692) (← links)
• Validity in a logic that combines supervaluation and fuzzy logic based theories of vagueness (Q279320) (← links)
• Representations through a monoid on the set of fuzzy implications (Q279330) (← links)
• The variety generated by all the ordinal sums of perfect MV-chains (Q361853) (← links)
• Reasoning about mathematical fuzzy logic and its future (Q419039) (← links)
• \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation (Q454376) (← links)
• The standard completeness of interval-valued monoidal t-norm based logic (Q454982) (← links)
• On finitely-valued fuzzy description logics (Q465589) (← links)
• Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
• The quintuple implication principle of fuzzy reasoning (Q527212) (← links)
• \(n\)-contractive BL-logics (Q535139) (← links)
• Completeness with respect to a chain and universal models in fuzzy logic (Q627436) (← links)
• Strict core fuzzy logics and quasi-witnessed models (Q634776) (← links)
• Single chain completeness and some related properties (Q679807) (← links)
• Elements of model theory in higher-order fuzzy logic (Q695272) (← links)
• Uniform proofs of standard completeness for extensions of first-order MTL (Q744987) (← links)
• A note on standard completeness for some extensions of uninorm logic (Q894654) (← links)
• Trakhtenbrot theorem and first-order axiomatic extensions of MTL (Q897476) (← links)
• First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties (Q1035653) (← links)
• On the reflection invariance of residuated chains (Q1035657) (← links)
• Supersound many-valued logics and Dedekind-MacNeille completions (Q1042436) (← links)
• Fraïssé classes of graded relational structures (Q1643146) (← links)
• The logic of the strongest and the weakest t-norms (Q1677041) (← links)
• On some questions concerning the axiomatisation of WNM-algebras and their subvarieties (Q1697331) (← links)
• On varieties singly generated by a well-connected \(\mathrm{FL}_{ew}\)-algebra (Q1697517) (← links)
• Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
• Density revisited (Q1699744) (← links)
• Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics (Q1726317) (← links)
• Implicational (semilinear) logics. III: Completeness properties (Q1745358) (← links)
• Gödel logics with monotone operators (Q1759702) (← links)
• Expanding basic fuzzy logic with truth constants for component delimiters (Q1759708) (← links)
• On linear varieties of MTL-algebras (Q2317504) (← links)
• Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic (Q2317508) (← links)
• A Note on Drastic Product Logic (Q5230076) (← links)