Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
From MaRDI portal
Publication:1024552
DOI10.1016/J.APAL.2009.01.012zbMATH Open1168.03052OpenAlexW2119353490MaRDI QIDQ1024552FDOQ1024552
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
residuated latticesstandard completenessmathematical fuzzy logicalgebraic logicembedding propertiesleft-continuous t-norms
Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Fuzzy sets
- On Fuzzy Logic I Many‐valued rules of inference
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Algebraic foundations of many-valued reasoning
- A treatise on many-valued logics
- Algebraic Analysis of Many Valued Logics
- A propositional calculus with denumerable matrix
- 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
- Standard completeness theorem for \(\Pi\)MTL
- On Weakly Cancellative Fuzzy Logics
- Substructural fuzzy logics
- Residuated lattices. An algebraic glimpse at substructural logics
- An algebraic approach to non-classical logics
- The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
- Observations on the monoidal t-norm logic
- Triangular norm based predicate fuzzy logics
- Weakly implicative (fuzzy) logics. I: Basic properties
- Algebraizable logics
- On Some Varieties of MTL-algebras
- On the structure of semi-groups on a compact manifold with boundary
- On some logical connectives for fuzzy sets theory
- On the predicate logics of continuous t-norm BL-algebras
- Varieties of BL-algebras. I: General properties.
- Subreducts of MV-algebras with product and product residuation
- The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
- Residuated fuzzy logics with an involutive negation
- Fuzzy logics with an additional involutive negation
- T-norm-based logics with an independent involutive negation
- Product Łukasiewicz logic
- On theories and models in fuzzy predicate logics
- Strong non-standard completeness for fuzzy logics
- Logics without the contraction rule
- On Product Logic with Truth-constants
- Varieties of BL-algebras
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
- 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
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- A complete many-valued logic with product-conjunction
- A constructive analysis of RM
- On the difference between traditional and deductive fuzzy logic
- Systems of syntactic analysis
- Generating the variety of BL-algebras
- NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL
- A fuzzy logic for an ordinal sum t-norm
- Subvarieties of BL-algebras generated by single-component chains
- Standard completeness of Hájek basic logic and decompositions of BL-chains
- Arithmetical complexity of fuzzy predicate logics -- a survey
- Decidability of Cancellative Extension of Monoidal T-norm Based Logic
- The Equationally-Defined Commutator
Cited In (64)
- On the Logic of Left-Continuous t-Norms and Right-Continuous t-Conorms
- Prelinearity in (quasi-)Nelson logic
- Forcing operators on MTL-algebras
- Algebraic structures related to nilpotent minimum algebras and rough sets1
- Conservative expansions of substructural logics
- Title not available (Why is that?)
- Fuzzy logics with an additional involutive negation
- Densification of FL chains via residuated frames
- Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic
- Finite model property and varieties of BL-algebras
- Density revisited
- Reasoning about mathematical fuzzy logic and its future
- Representations through a monoid on the set of fuzzy implications
- Validity in a logic that combines supervaluation and fuzzy logic based theories of vagueness
- Implicational (semilinear) logics. III: Completeness properties
- On linear varieties of MTL-algebras
- On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
- Formal systems of fuzzy logic and their fragments
- From Kripke to Neighborhood Semantics for Modal Fuzzy Logics
- \(n\)-contractive BL-logics
- Gödel logics with monotone operators
- A note on standard completeness for some extensions of uninorm logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Fraïssé classes of graded relational structures
- On the reflection invariance of residuated chains
- On elementary equivalence in fuzzy predicate logics
- Elements of model theory in higher-order fuzzy 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
- Back-and-forth systems for fuzzy first-order models
- Rotation logics
- A Note on Saturated Models for Many-Valued Logics
- Uniform proofs of standard completeness for extensions of first-order MTL
- Expanding basic fuzzy logic with truth constants for component delimiters
- On standard completeness and finite model property for a probabilistic logic on Łukasiewicz events
- On finitely-valued fuzzy description logics
- Subtypes in fuzzy type theory
- Trakhtenbrot theorem and first-order axiomatic extensions of MTL
- Strictly join irreducible varieties of BL-algebras: the missing pieces
- On expansions of WNM t-norm based logics with truth-constants
- An elementary belief function logic
- The logic of the strongest and the weakest t-norms
- Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics
- Triangular norm based predicate fuzzy logics
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
- Extending fuzzy logics with many hedges
- Algebraic Kripke-style semantics for relevance logics
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- Strict core fuzzy logics and quasi-witnessed models
- Implicit definability of truth constants in Łukasiewicz logic
- The variety generated by all the ordinal sums of perfect MV-chains
- From Classical to Fuzzy Type Theory
- On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
- On varieties singly generated by a well-connected \(\mathrm{FL}_{ew}\)-algebra
- Completeness with respect to a chain and universal models in fuzzy logic
- Obituary: Franco Montagna (1948--2015)
- A Lindström theorem in many-valued modal logic over a finite MTL-chain
- A Note on Drastic Product Logic
- Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
- Supersound many-valued logics and Dedekind-MacNeille completions
- The quintuple implication principle of fuzzy reasoning
- Single chain completeness and some related properties
- Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics
- A temporal semantics for nilpotent minimum logic
Recommendations
- Title not available (Why is that?) 👍 👎
- Alternative proof of standard completeness theorem for MTL 👍 👎
- Title not available (Why is that?) 👍 👎
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties 👍 👎
- A general method for constructing left-continuous t-norms 👍 👎
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms 👍 👎
- T-norm-based logics with an independent involutive negation 👍 👎
- Standard completeness theorem for \(\Pi\)MTL 👍 👎
- Standard completeness of Hájek basic logic and decompositions of BL-chains 👍 👎
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\) 👍 👎
This page was built for publication: Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1024552)
