Pages that link to "Item:Q1035653"
From MaRDI portal
The following pages link to First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties (Q1035653):
Displaying 23 items.
- On finitely-valued fuzzy description logics (Q465589) (← links)
- Triangular norm based graded convex fuzzy sets (Q691720) (← links)
- Fuzzy description logics and \(t\)-norm based fuzzy logics (Q990977) (← links)
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
- The role of metalanguage in graded logical approaches (Q1677946) (← links)
- Closure structures parameterized by systems of isotone Galois connections (Q1679638) (← links)
- On some questions concerning the axiomatisation of WNM-algebras and their subvarieties (Q1697331) (← links)
- A note on axiomatizations of Pavelka-style complete fuzzy logics (Q1697340) (← links)
- Perfect Pavelka logic (Q1697361) (← links)
- Fuzzy sets and formal logics (Q2014418) (← links)
- Populational announcement logic (PPAL) (Q2219080) (← links)
- Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics (Q2269796) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- On expansions of WNM t-norm based logics with truth-constants (Q2270234) (← links)
- Ordinal sums of the main classes of fuzzy negations and the natural negations of t-norms, t-conorms and fuzzy implications (Q2302900) (← links)
- Hyperresolution for Gödel logic with truth constants (Q2328910) (← links)
- A temporal semantics for nilpotent minimum logic (Q2353684) (← links)
- First-order nilpotent minimum logics: first steps (Q2377356) (← links)
- Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics (Q2380337) (← links)
- A Survey of Contributions to Fuzzy Logic and Its Applications to Artificial Intelligence at the IIIA (Q2974674) (← links)
- On Fuzzy Logic I Many‐valued rules of inference (Q3874181) (← links)
- Unsatisfiable Formulae of Gödel Logic with Truth Constants and $$\varDelta $$ Are Recursively Enumerable (Q4557171) (← links)
- A theorem about infinite-valued sentential logic (Q5804993) (← links)