Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
From MaRDI portal
Publication:876491
DOI10.1016/j.fss.2006.11.010zbMath1117.03030OpenAlexW2004739217MaRDI QIDQ876491
Carles Noguera, Lluís Godo, Joan Gispert i Brasó, 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
Łukasiewicz logicproduct logicGödel logicstandard completenesst-norm-based logicrational Pavelka logicbasic fuzzy logic BLexpansions with truth-constants
Related Items
FUZZY ATTRIBUTE IMPLICATIONS AND THEIR EXPRESSIVE POWER ⋮ Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics ⋮ Unsatisfiable Formulae of Gödel Logic with Truth Constants and $$\varDelta $$ Are Recursively Enumerable ⋮ T-norm-based logics with an independent involutive negation ⋮ Consequence and Degrees of Truth in Many-Valued Logic ⋮ Rational Pavelka logic: the best among three worlds? ⋮ Mathematical Fuzzy Logics ⋮ Extending possibilistic logic over Gödel logic ⋮ A note on strong axiomatization of Gödel justification logic ⋮ Perfect Pavelka logic ⋮ The standard completeness of interval-valued monoidal t-norm based logic ⋮ Editorial: Weighted logics for artificial intelligence -- an introductory discussion ⋮ Implicational (semilinear) logics. III: Completeness properties ⋮ Extension properties and subdirect representation in abstract algebraic logic ⋮ Expanding basic fuzzy logic with truth constants for component delimiters ⋮ Fuzzy sets and formal logics ⋮ Triangular norm based predicate fuzzy logics ⋮ On expansions of WNM t-norm based logics with truth-constants ⋮ Fuzzy description logics and \(t\)-norm based fuzzy logics ⋮ A generic framework for adaptive vague logics ⋮ Exploring Extensions of Possibilistic Logic over Gödel Logic ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ Implicit definability of truth constants in Łukasiewicz logic ⋮ First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties ⋮ Arithmetical complexity of fuzzy predicate logics -- a survey. II. ⋮ Structural completeness in many-valued logics with rational constants ⋮ Hyperresolution for Gödel logic with truth constants
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Product Łukasiewicz logic
- On the structure of semi-groups on a compact manifold with boundary
- Short note: on the redundancy of axiom (A3) in BL and MTL
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
- Metamathematics of fuzzy logic
- Varieties of BL-algebras. I: General properties.
- Equational characterization of the subvarieties of BL generated by t-norm algebras
- A complete many-valued logic with product-conjunction
- Residuated fuzzy logics with an involutive negation
- A note to the definition of the Ł\(\Pi\)-algebras
- A propositional calculus with denumerable matrix
- On Weakly Cancellative Fuzzy Logics
- Algebraizable logics
- On Fuzzy Logic I Many‐valued rules of inference
- Axiomatization of the infinite-valued predicate calculus
- On Product Logic with Truth-constants
- Fuzzy logic programming
