Pages that link to "Item:Q876491"
From MaRDI portal
The following pages link to Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results (Q876491):
Displaying 28 items.
- The standard completeness of interval-valued monoidal t-norm based logic (Q454982) (← links)
- Editorial: Weighted logics for artificial intelligence -- an introductory discussion (Q465578) (← links)
- Extending possibilistic logic over Gödel logic (Q622285) (← links)
- T-norm-based logics with an independent involutive negation (Q869112) (← links)
- Fuzzy description logics and \(t\)-norm based fuzzy logics (Q990977) (← links)
- A generic framework for adaptive vague logics (Q1005967) (← links)
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties (Q1035653) (← links)
- Arithmetical complexity of fuzzy predicate logics -- a survey. II. (Q1035656) (← links)
- Perfect Pavelka logic (Q1697361) (← links)
- Implicational (semilinear) logics. III: Completeness properties (Q1745358) (← links)
- Extension properties and subdirect representation in abstract algebraic logic (Q1756591) (← links)
- Expanding basic fuzzy logic with truth constants for component delimiters (Q1759708) (← links)
- Fuzzy sets and formal logics (Q2014418) (← links)
- Structural completeness in many-valued logics with rational constants (Q2080696) (← links)
- A note on strong axiomatization of Gödel justification logic (Q2193971) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- On expansions of WNM t-norm based logics with truth-constants (Q2270234) (← links)
- Implicit definability of truth constants in Łukasiewicz logic (Q2317518) (← links)
- Hyperresolution for Gödel logic with truth constants (Q2328910) (← links)
- Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics (Q2380337) (← links)
- Axiomatizations of standard algebras for fuzzy PC by use of truth constants (Q2714753) (← links)
- Consequence and Degrees of Truth in Many-Valued Logic (Q2948586) (← links)
- FUZZY ATTRIBUTE IMPLICATIONS AND THEIR EXPRESSIVE POWER (Q3449257) (← links)
- Mathematical Fuzzy Logics (Q3503741) (← links)
- Exploring Extensions of Possibilistic Logic over Gödel Logic (Q3638210) (← links)
- Unsatisfiable Formulae of Gödel Logic with Truth Constants and $$\varDelta $$ Are Recursively Enumerable (Q4557171) (← links)
- Rational Pavelka logic: the best among three worlds? (Q6083147) (← links)
