T-norm-based logics with an independent involutive negation
From MaRDI portal
Publication:869112
DOI10.1016/J.FSS.2006.06.016zbMATH Open1114.03015OpenAlexW1993433997MaRDI QIDQ869112FDOQ869112
Authors: Tommaso Flaminio, Enrico Marchioni 
Publication date: 26 February 2007
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2006.06.016
Recommendations
- Involutive monoidalt-norm based logic andR0 logic
- A new axiomatization for involutive monoidal t-norm-based logic
- Residuated logics based on strict triangular norms with an involutive negation
- Relational ternary semantics for a logic equivalent to involutive mondial t-norm based logic IMTL
- scientific article; zbMATH DE number 7687781
- scientific article; zbMATH DE number 4091465
- Decidability of Cancellative Extension of Monoidal T-norm Based Logic
Cites Work
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Title not available (Why is that?)
- 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
- Weakly implicative (fuzzy) logics. I: Basic properties
- The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics
- Residuated fuzzy logics with an involutive negation
- Fuzzy logics with an additional involutive negation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- On triangular norm-based propositional fuzzy logics
- Title not available (Why is that?)
Cited In (17)
- Fuzzy logics with an additional involutive negation
- Involutive monoidalt-norm based logic andR0 logic
- Possibilistic conditioning framed in fuzzy logics
- Algebraic structures related to nilpotent minimum algebras and rough sets
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Proof theory for locally finite many-valued logics: semi-projective logics
- Commutative integral bounded residuated lattices with an added involution
- On the representation of fuzzy rules
- Relational ternary semantics for a logic equivalent to involutive mondial t-norm based logic IMTL
- Paraconsistency properties in degree-preserving fuzzy logics
- FFNSL: Feed-forward neural-symbolic learner
- Simple characterization of strict residuated lattices with an involutive negation
- Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms
- Involutive basic substructural core fuzzy logics: involutive mianorm-based logics
- Strongly involutive uninorm algebras
- Fuzzy sets and formal logics
- First-order satisfiability in Gödel logics: an NP-complete fragment
This page was built for publication: T-norm-based logics with an independent involutive negation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q869112)
