Pages that link to "Item:Q5951916"
From MaRDI portal
The following pages link to Three complexity problems in quantified fuzzy logic (Q5951916):
Displaying 19 items.
- Arithmetical complexity of fuzzy predicate logics -- a survey (Q816865) (← links)
- Provability in predicate product logic (Q884950) (← links)
- Arithmetical complexity of fuzzy predicate logics -- a survey. II. (Q1035656) (← links)
- A triangular norm-based fuzzy predicate logic (Q1406864) (← links)
- Obituary: Franco Montagna (1948--2015) (Q1699726) (← links)
- On the predicate logics of continuous t-norm BL-algebras (Q1765100) (← links)
- A non-hyperarithmetical Gödel logic (Q2151390) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- On arithmetical complexity of fragments of prominent fuzzy predicate logics (Q2466754) (← links)
- Complex Fuzzy Sets and Complex Fuzzy Logic an Overview of Theory and Applications (Q2971600) (← links)
- On theories and models in fuzzy predicate logics (Q3410679) (← links)
- Mathematical Fuzzy Logics (Q3503741) (← links)
- Herbrand Theorems and Skolemization for Prenex Fuzzy Logics (Q3507415) (← links)
- A note on the first‐order logic of complete BL‐chains (Q3520231) (← links)
- SOME (NON)TAUTOLOGIES OF ŁUKASIEWICZ AND PRODUCT LOGIC (Q3577746) (← links)
- Vagueness and Formal Fuzzy Logic: Some Criticisms (Q4565825) (← links)
- A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS (Q5251374) (← links)
- Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions (Q5426008) (← links)
- Effectiveness and multivalued logics (Q5477627) (← links)
