On Weakly Cancellative Fuzzy Logics
From MaRDI portal
Publication:3411998
DOI10.1093/logcom/exl002zbMath1113.03021OpenAlexW2092184248MaRDI QIDQ3411998
Rostislav Horčík, Carles Noguera, Franco Montagna
Publication date: 4 December 2006
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exl002
fuzzy logiccompletenessvarietybasic logicmonoidal t-norm based logicMTL logicMTL-chainweak cancellativity
Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) Many-valued logic (03B50) Logical aspects of ?ukasiewicz and Post algebras (03G20)
Related Items
Densification of FL chains via residuated frames ⋮ The construction of left-continuous t-norms: a geometric approach in two dimensions ⋮ Franco Montagna's work on provability logic and many-valued logic ⋮ Unnamed Item ⋮ Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results ⋮ Continuous additive generators of continuous, conditionally cancellative triangular subnorms ⋮ Completeness with respect to a chain and universal models in fuzzy logic ⋮ Continuous weakly cancellative triangular subnorms. I: Their web-geometric properties ⋮ Obituary: Franco Montagna (1948--2015) ⋮ Density revisited ⋮ The standard completeness of interval-valued monoidal t-norm based logic ⋮ Rotation logics ⋮ Formal systems of fuzzy logic and their fragments ⋮ Strong non-standard completeness for fuzzy logics ⋮ Single chain completeness and some related properties ⋮ \(n\)-contractive BL-logics ⋮ Associativity of triangular norms characterized by the geometry of their level sets ⋮ The coextension of commutative pomonoids and its application to triangular norms ⋮ Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics ⋮ Triangular norm based predicate fuzzy logics ⋮ Cancellativity properties for t-norms and t-subnorms ⋮ The Semantics of Fuzzy Logics: Two Approaches to Finite Tomonoids ⋮ Archimedean classes in integral commutative residuated chains ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ Ordered groups with a conucleus ⋮ Supersound many-valued logics and Dedekind-MacNeille completions ⋮ Totally Ordered Monoids Based on Triangular Norms
