Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
From MaRDI portal
Publication:1024552
DOI10.1016/j.apal.2009.01.012zbMath1168.03052MaRDI QIDQ1024552
Francesc Esteva, Lluís Godo, Franco Montagna, Carles Noguera, Petr Cintula, 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
algebraic logic; residuated lattices; standard completeness; mathematical fuzzy logic; embedding properties; left-continuous t-norms
03B52: Fuzzy logic; logic of vagueness
03G25: Other algebras related to logic
06F05: Ordered semigroups and monoids
03B50: Many-valued logic
Related Items
The variety generated by all the ordinal sums of perfect MV-chains, Reasoning about mathematical fuzzy logic and its future, \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation, The standard completeness of interval-valued monoidal t-norm based logic, On finitely-valued fuzzy description logics, Algebraic Kripke-style semantics for relevance logics, \(n\)-contractive BL-logics, Completeness with respect to a chain and universal models in fuzzy logic, Strict core fuzzy logics and quasi-witnessed models, Elements of model theory in higher-order fuzzy 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, Gödel logics with monotone operators, Expanding basic fuzzy logic with truth constants for component delimiters, On elementary equivalence in fuzzy predicate logics, 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, A temporal semantics for nilpotent minimum logic, Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics, Formal systems of fuzzy logic and their fragments, Forcing operators on MTL-algebras, On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
