Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
From MaRDI portal
Publication:876491
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
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
Cites work
- scientific article; zbMATH DE number 4156411 (Why is no real title available?)
- scientific article; zbMATH DE number 4156412 (Why is no real title available?)
- scientific article; zbMATH DE number 5295430 (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 1526147 (Why is no real title available?)
- scientific article; zbMATH DE number 1775503 (Why is no real title available?)
- scientific article; zbMATH DE number 247100 (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 note to the definition of the Ł\(\Pi\)-algebras
- A propositional calculus with denumerable matrix
- Algebraizable logics
- Axiomatization of the infinite-valued predicate calculus
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
- Equational characterization of the subvarieties of BL generated by t-norm algebras
- Fuzzy logic programming
- Metamathematics of fuzzy logic
- On Fuzzy Logic I Many‐valued rules of inference
- On Product Logic with Truth-constants
- On Weakly Cancellative Fuzzy Logics
- On the structure of semi-groups on a compact manifold with boundary
- Product Łukasiewicz logic
- Residuated fuzzy logics with an involutive negation
- Short note: on the redundancy of axiom (A3) in BL and MTL
- Varieties of BL-algebras. I: General properties.
Cited in
(29)- A generic framework for adaptive vague logics
- Editorial: Weighted logics for artificial intelligence -- an introductory discussion
- Axiomatizations of standard algebras for fuzzy PC by use of truth constants
- Triangular norm based predicate fuzzy logics
- Arithmetical complexity of fuzzy predicate logics -- a survey. II.
- Exploring Extensions of Possibilistic Logic over Gödel Logic
- Consequence and degrees of truth in many-valued logic
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Perfect Pavelka logic
- On expansions of WNM t-norm based logics with truth-constants
- A note on strong axiomatization of Gödel justification logic
- Structural completeness in many-valued logics with rational constants
- Hyperresolution for Gödel logic with truth constants
- Rational Pavelka logic: the best among three worlds?
- On completeness results for predicate Łukasiewicz, product, Gödel and nilpotent minimum logics expanded with truth-constants
- Extending possibilistic logic over Gödel logic
- Extension properties and subdirect representation in abstract algebraic logic
- FUZZY ATTRIBUTE IMPLICATIONS AND THEIR EXPRESSIVE POWER
- Unsatisfiable Formulae of Gödel Logic with Truth Constants and $$\varDelta $$ Are Recursively Enumerable
- Fuzzy description logics and \(t\)-norm based fuzzy logics
- Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics
- Fuzzy sets and formal logics
- Implicational (semilinear) logics. III: Completeness properties
- Mathematical Fuzzy Logics
- Implicit definability of truth constants in Łukasiewicz logic
- T-norm-based logics with an independent involutive negation
- The standard completeness of interval-valued monoidal t-norm based logic
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- Expanding basic fuzzy logic with truth constants for component delimiters
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)
