Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
DOI10.1016/J.FSS.2006.11.010zbMATH Open1117.03030OpenAlexW2004739217MaRDI QIDQ876491FDOQ876491
Lluís Godo, Joan Gispert i Brasó, Carles Noguera, Francesc Esteva
Publication date: 18 April 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.11.010
Recommendations
- Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
- Axiomatizations of standard algebras for fuzzy PC by use of truth constants
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- On expansions of WNM t-norm based logics with truth-constants
- On completeness results for predicate Łukasiewicz, product, Gödel and nilpotent minimum logics expanded with truth-constants
standard completeness[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=%EF%BF%BD%EF%BF%BDukasiewicz+logic&go=Go ��ukasiewicz logic][https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=G%EF%BF%BD%EF%BF%BDdel+logic&go=Go G��del logic]product logicrational Pavelka logict-norm-based logicbasic fuzzy logic BLexpansions with truth-constants
Cites Work
- On Fuzzy Logic I Many‐valued rules of inference
- Title not available (Why is that?)
- Metamathematics of fuzzy logic
- A propositional calculus with denumerable matrix
- Title not available (Why is that?)
- On Weakly Cancellative Fuzzy Logics
- Algebraizable logics
- Title not available (Why is that?)
- On the structure of semi-groups on a compact manifold with boundary
- Varieties of BL-algebras. I: General properties.
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
- Residuated fuzzy logics with an involutive negation
- Product Łukasiewicz logic
- Title not available (Why is that?)
- On Product Logic with Truth-constants
- Fuzzy logic programming
- A complete many-valued logic with product-conjunction
- Short note: on the redundancy of axiom (A3) in BL and MTL
- A note to the definition of the Ł\(\Pi\)-algebras
- Title not available (Why is that?)
- Axiomatization of the infinite-valued predicate calculus
- Title not available (Why is that?)
- Equational characterization of the subvarieties of BL generated by t-norm algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (29)
- FUZZY ATTRIBUTE IMPLICATIONS AND THEIR EXPRESSIVE POWER
- Exploring Extensions of Possibilistic Logic over Gödel Logic
- Implicational (semilinear) logics. III: Completeness properties
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Extension properties and subdirect representation in abstract algebraic logic
- On completeness results for predicate Łukasiewicz, product, Gödel and nilpotent minimum logics expanded with truth-constants
- A generic framework for adaptive vague logics
- Consequence and Degrees of Truth in Many-Valued Logic
- The standard completeness of interval-valued monoidal t-norm based logic
- Unsatisfiable Formulae of Gödel Logic with Truth Constants and $$\varDelta $$ Are Recursively Enumerable
- Expanding basic fuzzy logic with truth constants for component delimiters
- Fuzzy description logics and \(t\)-norm based fuzzy logics
- Editorial: Weighted logics for artificial intelligence -- an introductory discussion
- Axiomatizations of standard algebras for fuzzy PC by use of truth constants
- On expansions of WNM t-norm based logics with truth-constants
- Arithmetical complexity of fuzzy predicate logics -- a survey. II.
- Rational Pavelka logic: the best among three worlds?
- Triangular norm based predicate fuzzy logics
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- Implicit definability of truth constants in Łukasiewicz logic
- Extending possibilistic logic over Gödel logic
- T-norm-based logics with an independent involutive negation
- Perfect Pavelka logic
- Structural completeness in many-valued logics with rational constants
- Hyperresolution for Gödel logic with truth constants
- Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
- Mathematical Fuzzy Logics
- A note on strong axiomatization of Gödel justification logic
- Fuzzy sets and formal logics
This page was built for publication: Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q876491)
