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):

Displayed 50 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)
• Back-and-forth systems for fuzzy first-order models (Q1795203) ‎ (← links)
• Extending fuzzy logics with many hedges (Q1795208) ‎ (← links)
• On elementary equivalence in fuzzy predicate logics (Q1935367) ‎ (← links)
• Strictly join irreducible varieties of BL-algebras: the missing pieces (Q2049269) ‎ (← links)
• Rotation logics (Q2219165) ‎ (← links)
• A Lindström theorem in many-valued modal logic over a finite MTL-chain (Q2219166) ‎ (← links)
• Finite model property and varieties of BL-algebras (Q2233195) ‎ (← links)
• On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events (Q2237146) ‎ (← links)
• Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics (Q2269796) ‎ (← links)
• Triangular norm based predicate fuzzy logics (Q2270233) ‎ (← links)
• On expansions of WNM t-norm based logics with truth-constants (Q2270234) ‎ (← links)
• Fuzzy logics with an additional involutive negation (Q2270236) ‎ (← links)
• On linear varieties of MTL-algebras (Q2317504) ‎ (← links)
• Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic (Q2317508) ‎ (← links)
• Implicit definability of truth constants in Łukasiewicz logic (Q2317518) ‎ (← links)
• Subtypes in fuzzy type theory (Q2328911) ‎ (← links)
• A temporal semantics for nilpotent minimum logic (Q2353684) ‎ (← links)
• Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics (Q2380337) ‎ (← links)
• Formal systems of fuzzy logic and their fragments (Q2463481) ‎ (← links)