Pages that link to "Item:Q1349199"
From MaRDI portal
The following pages link to Monoidal t-norm based logic: Towards a logic for left-continuous t-norms (Q1349199):
Displaying 50 items.
- EI, involutory and EQI-ideal in bounded BCK-algebras. (Q258387) (← links)
- Densification of FL chains via residuated frames (Q271692) (← links)
- Pseudovarieties of algebras with fuzzy equalities. (Q277570) (← links)
- Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras (Q278739) (← links)
- Validity in a logic that combines supervaluation and fuzzy logic based theories of vagueness (Q279320) (← links)
- The structure of generalized intermediate syllogisms (Q279323) (← links)
- Characterizations and new subclasses of \(\mathcal{I}\)-filters in residuated lattices (Q279337) (← links)
- Franco Montagna's work on provability logic and many-valued logic (Q300553) (← links)
- Paraconsistency properties in degree-preserving fuzzy logics (Q344078) (← links)
- On symmetric left bi-derivations in BCI-algebras (Q352544) (← links)
- Fuzzy prime Boolean filters and their operations in IMTL-algebras (Q376765) (← links)
- Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices (Q377479) (← links)
- Proof theory for locally finite many-valued logics: semi-projective logics (Q385019) (← links)
- On good EQ-algebras (Q409738) (← links)
- Topological properties of prime filters in MTL-algebras and fuzzy set representations for MTL-algebras (Q409741) (← links)
- On an axiomatic system for the logic of linearly ordered BCI-matrices (Q412072) (← links)
- States on finite linearly ordered IMTL-algebras (Q416275) (← links)
- Reasoning about mathematical fuzzy logic and its future (Q419039) (← links)
- Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts (Q422484) (← links)
- Generalized Bosbach and Riečan states based on relative negations in residuated lattices (Q427915) (← links)
- Some types of filters in MTL-algebras (Q427919) (← links)
- Fixed points of involutive interval-valued negations (Q429399) (← links)
- Algebraic models of deviant modal operators based on De Morgan and Kleene lattices (Q433065) (← links)
- Formalization of implication based fuzzy reasoning method (Q448954) (← links)
- \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation (Q454376) (← links)
- The standard completeness of interval-valued monoidal t-norm based logic (Q454982) (← links)
- A survey of fuzzy implication algebras and their axiomatization (Q459041) (← links)
- On finitely-valued fuzzy description logics (Q465589) (← links)
- Algebraic Kripke-style semantics for relevance logics (Q484156) (← links)
- \(n\)-fold filters of MTL-algebras (Q485479) (← links)
- Normal residuated lattices (Q496998) (← links)
- Residual implications on the set of discrete fuzzy numbers (Q497580) (← links)
- Characterizations of fuzzy ideals in coresiduated lattices (Q504690) (← links)
- Rough approximation operators on \(R_0\)-algebras (nilpotent minimum algebras) with an application in formal logic \(\mathcal{L}^\ast\) (Q506104) (← links)
- A classification of certain group-like \(\mathrm{FL}_e\)-chains (Q514558) (← links)
- Topological structures of \(L\)-fuzzy rough sets and similarity sets of \(L\)-fuzzy relations (Q518613) (← links)
- Algebraic study to generalized Bosbach states on residuated lattices (Q521709) (← links)
- On minimal sets of graded attribute implications (Q526697) (← links)
- The quintuple implication principle of fuzzy reasoning (Q527212) (← links)
- Fuzzy logic programming reduced to reasoning with attribute implications (Q529051) (← links)
- Graded dominance and related graded properties of fuzzy connectives (Q529059) (← links)
- On fuzzy-valued operations and fuzzy-valued fuzzy sets (Q529355) (← links)
- Generalized extended fuzzy implications (Q529356) (← links)
- A non-commutative and non-idempotent theory of quantale sets (Q533140) (← links)
- \(n\)-contractive BL-logics (Q535139) (← links)
- States on finite monoidal t-norm based algebras (Q543823) (← links)
- EQ-logics: non-commutative fuzzy logics based on fuzzy equality (Q549345) (← links)
- Some kinds of \((\epsilon_\gamma,\epsilon_\gamma\vee \!q_\delta)\)-fuzzy ideals of BCI-algebras (Q552257) (← links)
- Some properties of fuzzy reasoning in propositional fuzzy logic systems (Q621597) (← links)
- An early approach toward graded identity and graded membership in set theory (Q622026) (← links)
