The following pages link to Interpolation in fuzzy logic (Q1818593):
Displaying 32 items.
- The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic (Q279327) (← links)
- Interpolation of fuzzy data: analytical approach and overview (Q419049) (← links)
- \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation (Q454376) (← links)
- Interpolative fuzzy algorithms (Q758084) (← links)
- Normal forms and free algebras for some extensions of MTL (Q835114) (← links)
- \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic (Q835129) (← links)
- Truth-value transmittal fuzzy reasoning interpolator (Q866200) (← links)
- Normal forms for fuzzy logics: a proof-theoretic approach (Q884948) (← links)
- Interpolation theorem in many-valued logics with designated values (Q911578) (← links)
- An analysis of Ruspini partitions in Gödel logic (Q962901) (← links)
- Interpolation in non-classical logics (Q1024121) (← links)
- Rough-fuzzy rule interpolation (Q1615665) (← links)
- A fuzzy Lagrange interpolation theorem (Q1826049) (← links)
- On normal forms in Łukasiewicz logic (Q1882628) (← links)
- Interpolation of fuzzy data (Q1896280) (← links)
- From semantic games to provability: the case of Gödel logic (Q2118973) (← links)
- First-order interpolation derived from propositional interpolation (Q2193292) (← links)
- Linear interpolation in a fuzzy information space (Q2371677) (← links)
- Closed form fuzzy interpolation (Q2445522) (← links)
- Monotone operators on Gödel logic (Q2449851) (← links)
- Fuzzy linguistic model for interpolation (Q2468106) (← links)
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation (Q2498905) (← links)
- Craig interpolation for semilinear substructural logics (Q3144874) (← links)
- Mathematical Fuzzy Logics (Q3503741) (← links)
- (Q4337898) (← links)
- PROPOSAL OF AN INTERPOLATIVE FUZZY INFERENCE METHOD (Q4508699) (← links)
- A Calculus for Rational Łukasiewicz Logic and Related Systems (Q5117205) (← links)
- Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic (Q5425997) (← links)
- (Q5490242) (← links)
- Interpolation and extrapolation of fuzzy quantities revisited -- an axiomatic approach (Q5953519) (← links)
- Complexity of t-tautologies (Q5957903) (← links)
- Universal proof theory: semi-analytic rules and Craig interpolation (Q6614044) (← links)
