Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies

DOI10.1016/j.apal.2009.01.012zbMath1168.03052OpenAlexW2119353490MaRDI QIDQ1024552

Petr Cintula, Carles Noguera, Franco Montagna, Francesc Esteva, Lluís Godo, Joan Gispert i Brasó

Publication date: 17 June 2009

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2009.01.012

zbMATH Keywords

algebraic logicresiduated latticesstandard completenessmathematical fuzzy logicembedding propertiesleft-continuous t-norms

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Many-valued logic (03B50)

Related Items (60)

Densification of FL chains via residuated frames ⋮ Validity in a logic that combines supervaluation and fuzzy logic based theories of vagueness ⋮ Representations through a monoid on the set of fuzzy implications ⋮ A Note on Saturated Models for Many-Valued Logics ⋮ From Classical to Fuzzy Type Theory ⋮ Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics ⋮ Fraïssé classes of graded relational structures ⋮ The variety generated by all the ordinal sums of perfect MV-chains ⋮ The logic of the strongest and the weakest t-norms ⋮ On elementary equivalence in fuzzy predicate logics ⋮ Prelinearity in (quasi-)Nelson logic ⋮ An elementary belief function logic ⋮ A note on standard completeness for some extensions of uninorm logic ⋮ Trakhtenbrot theorem and first-order axiomatic extensions of MTL ⋮ Completeness with respect to a chain and universal models in fuzzy logic ⋮ Reasoning about mathematical fuzzy logic and its future ⋮ On some questions concerning the axiomatisation of WNM-algebras and their subvarieties ⋮ On varieties singly generated by a well-connected \(\mathrm{FL}_{ew}\)-algebra ⋮ Obituary: Franco Montagna (1948--2015) ⋮ Density revisited ⋮ Conservative expansions of substructural logics ⋮ Strict core fuzzy logics and quasi-witnessed models ⋮ From Kripke to Neighborhood Semantics for Modal Fuzzy Logics ⋮ On triangular norm based axiomatic extensions of the weak nilpotent minimum logic ⋮ \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation ⋮ The standard completeness of interval-valued monoidal t-norm based logic ⋮ Rotation logics ⋮ A Lindström theorem in many-valued modal logic over a finite MTL-chain ⋮ On finitely-valued fuzzy description logics ⋮ Algebraic structures related to nilpotent minimum algebras and rough sets1 ⋮ Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ Finite model property and varieties of BL-algebras ⋮ Formal systems of fuzzy logic and their fragments ⋮ On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events ⋮ Implicational (semilinear) logics. III: Completeness properties ⋮ Single chain completeness and some related properties ⋮ The quintuple implication principle of fuzzy reasoning ⋮ Gödel logics with monotone operators ⋮ Expanding basic fuzzy logic with truth constants for component delimiters ⋮ \(n\)-contractive BL-logics ⋮ Elements of model theory in higher-order fuzzy logic ⋮ Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics ⋮ Triangular norm based predicate fuzzy logics ⋮ On expansions of WNM t-norm based logics with truth-constants ⋮ Fuzzy logics with an additional involutive negation ⋮ Back-and-forth systems for fuzzy first-order models ⋮ Extending fuzzy logics with many hedges ⋮ Forcing operators on MTL-algebras ⋮ Uniform proofs of standard completeness for extensions of first-order MTL ⋮ Strictly join irreducible varieties of BL-algebras: the missing pieces ⋮ A Note on Drastic Product Logic ⋮ On linear varieties of MTL-algebras ⋮ Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic ⋮ Implicit definability of truth constants in Łukasiewicz logic ⋮ First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties ⋮ On the reflection invariance of residuated chains ⋮ Supersound many-valued logics and Dedekind-MacNeille completions ⋮ Subtypes in fuzzy type theory ⋮ A temporal semantics for nilpotent minimum logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Product Łukasiewicz logic
• NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL
• A fuzzy logic for an ordinal sum t-norm
• On the structure of semi-groups on a compact manifold with boundary
• Standard completeness of Hájek basic logic and decompositions of BL-chains
• Varieties of BL-algebras
• Arithmetical complexity of fuzzy predicate logics -- a survey
• Generating the variety of BL-algebras
• On the difference between traditional and deductive fuzzy logic
• T-norm-based logics with an independent involutive negation
• Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
• On the failure of standard completeness in \(\Pi\)MTL for infinite theories
• Residuated lattices. An algebraic glimpse at substructural logics
• Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
• First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
• On some logical connectives for fuzzy sets theory
• An algebraic approach to non-classical logics
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Subvarieties of BL-algebras generated by single-component chains
• A proof of standard completeness for Esteva and Godo's logic MTL
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
• On the predicate logics of continuous t-norm BL-algebras
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• Standard completeness theorem for \(\Pi\)MTL
• Varieties of BL-algebras. I: General properties.
• Algebraic foundations of many-valued reasoning
• Observations on the monoidal t-norm logic
• A complete many-valued logic with product-conjunction
• Residuated fuzzy logics with an involutive negation
• Triangular norm based predicate fuzzy logics
• Fuzzy logics with an additional involutive negation
• Strong non-standard completeness for fuzzy logics
• Weakly implicative (fuzzy) logics. I: Basic properties
• Subreducts of MV-algebras with product and product residuation
• Algebraic Analysis of Many Valued Logics
• A propositional calculus with denumerable matrix
• On theories and models in fuzzy predicate logics
• On Weakly Cancellative Fuzzy Logics
• Decidability of Cancellative Extension of Monoidal T-norm Based Logic
• Logics without the contraction rule
• A constructive analysis of RM
• Algebraizable logics
• On Fuzzy Logic I Many‐valued rules of inference
• The Equationally-Defined Commutator
• Substructural fuzzy logics
• On Product Logic with Truth-constants
• Fuzzy sets
• On Some Varieties of MTL-algebras
• Systems of syntactic analysis
• The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics

This page was built for publication: Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies