Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
From MaRDI portal
(Redirected from Publication:1024552)
Recommendations
- scientific article; zbMATH DE number 2042619
- Alternative proof of standard completeness theorem for MTL
- scientific article; zbMATH DE number 2113968
- 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\)
Cites work
- scientific article; zbMATH DE number 5295430 (Why is no real title available?)
- scientific article; zbMATH DE number 3815606 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 1354791 (Why is no real title available?)
- scientific article; zbMATH DE number 1361537 (Why is no real title available?)
- scientific article; zbMATH DE number 2113968 (Why is no real title available?)
- scientific article; zbMATH DE number 922613 (Why is no real title available?)
- scientific article; zbMATH DE number 3222967 (Why is no real title available?)
- A complete many-valued logic with product-conjunction
- A constructive analysis of RM
- A fuzzy logic for an ordinal sum t-norm
- A proof of standard completeness for Esteva and Godo's logic MTL
- A propositional calculus with denumerable matrix
- A treatise on many-valued logics
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
- Algebraic Analysis of Many Valued Logics
- Algebraic foundations of many-valued reasoning
- Algebraizable logics
- An algebraic approach to non-classical logics
- Arithmetical complexity of fuzzy predicate logics -- a survey
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
- Decidability of Cancellative Extension of Monoidal T-norm Based Logic
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- Fuzzy logics with an additional involutive negation
- Fuzzy sets
- Generating the variety of BL-algebras
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
- Logics without the contraction rule
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL
- Observations on the monoidal t-norm logic
- On Fuzzy Logic I Many‐valued rules of inference
- On Product Logic with Truth-constants
- On Some Varieties of MTL-algebras
- On Weakly Cancellative Fuzzy Logics
- On some logical connectives for fuzzy sets theory
- On the difference between traditional and deductive fuzzy logic
- On the failure of standard completeness in MTL for infinite theories
- On the predicate logics of continuous t-norm BL-algebras
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- On the structure of semi-groups on a compact manifold with boundary
- On theories and models in fuzzy predicate logics
- Product Łukasiewicz logic
- Residuated fuzzy logics with an involutive negation
- Residuated lattices. An algebraic glimpse at substructural logics
- Standard completeness of Hájek basic logic and decompositions of BL-chains
- Standard completeness theorem for \(\Pi\)MTL
- Strong non-standard completeness for fuzzy logics
- Subreducts of MV-algebras with product and product residuation
- Substructural fuzzy logics
- Subvarieties of BL-algebras generated by single-component chains
- Systems of syntactic analysis
- T-norm-based logics with an independent involutive negation
- The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics
- The equationally-defined commutator. A study in equational logic and algebra
- The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
- Triangular norm based predicate fuzzy logics
- Varieties of BL-algebras
- Varieties of BL-algebras. I: General properties.
- Weakly implicative (fuzzy) logics. I: Basic properties
Cited in
(70)- A temporal semantics for nilpotent minimum logic
- Fuzzy logics with an additional involutive negation
- On the Logic of Left-Continuous t-Norms and Right-Continuous t-Conorms
- Densification of FL chains via residuated frames
- A note on saturated models for many-valued logics
- 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
- Formal systems of fuzzy logic and their fragments
- On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
- \(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
- Algebraic structures related to nilpotent minimum algebras and rough sets
- Fraïssé classes of graded relational structures
- On the reflection invariance of residuated chains
- scientific article; zbMATH DE number 2042619 (Why is no real title available?)
- 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
- From classical to fuzzy type theory
- Rotation logics
- Prelinearity in (quasi-)Nelson logic
- scientific article; zbMATH DE number 2113968 (Why is no real title available?)
- Forcing operators on MTL-algebras
- 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
- Trakhtenbrot theorem and first-order axiomatic extensions of MTL
- Subtypes in fuzzy type theory
- Strictly join irreducible varieties of BL-algebras: the missing pieces
- On expansions of WNM t-norm based logics with truth-constants
- The logic of the strongest and the weakest t-norms
- An elementary belief function logic
- Conservative expansions of substructural logics
- Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics
- Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\)
- Triangular norm based predicate fuzzy logics
- Extending fuzzy logics with many hedges
- Algebraic Kripke-style semantics for relevance logics
- From Kripke to neighborhood semantics for modal fuzzy logics
- Strict core fuzzy logics and quasi-witnessed models
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- Implicit definability of truth constants in Łukasiewicz logic
- scientific article; zbMATH DE number 5052113 (Why is no real title available?)
- Local and relativized local finiteness in t-norm based structures
- The variety generated by all the ordinal sums of perfect MV-chains
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions
- Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms
- Completeness with respect to a chain and universal models in fuzzy logic
- 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)
- A Lindström theorem in many-valued modal logic over a finite MTL-chain
- Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
- Supersound many-valued logics and Dedekind-MacNeille completions
- A Note on Drastic Product Logic
- The quintuple implication principle of fuzzy reasoning
- Basic substructural core fuzzy logics and their extensions: mianorm-based logics
- Single chain completeness and some related properties
- Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics
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)
