Pages that link to "Item:Q4508252"
From MaRDI portal
The following pages link to Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic (Q4508252):
Displayed 18 items.
- Omitting types for infinitary \([0,1]\)-valued logic (Q386155) (← links)
- Forcing in Łukasiewicz predicate logic (Q935024) (← 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)
- Supersound many-valued logics and Dedekind-MacNeille completions (Q1042436) (← links)
- Fuzzy sets and formal logics (Q2014418) (← links)
- Rota's Fubini lectures: the first problem (Q2020017) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- Implicit definability of truth constants in Łukasiewicz logic (Q2317518) (← links)
- Omitting uncountable types and the strength of \([0,1]\)-valued logics (Q2442152) (← links)
- Which logic is the real fuzzy logic? (Q2492314) (← links)
- Conservative extension of polyadic MV-algebras to polyadic Pavelka algebras (Q2501160) (← links)
- Mathematical fuzzy logic as a tool for the treatment of vague information (Q2568251) (← links)
- 2004 Summer Meeting of the Association for Symbolic Logic (Q3370624) (← links)
- On theories and models in fuzzy predicate logics (Q3410679) (← links)
- Mathematical Fuzzy Logics (Q3503741) (← links)
- Introduction (Q5892200) (← links)
- A note on the notion of truth in fuzzy logic (Q5940144) (← links)