The following pages link to (Q3663260):
Displaying 17 items.
- Arithmetical complexity of fuzzy predicate logics -- a survey (Q816865) (← links)
- Forcing in Łukasiewicz predicate logic (Q935024) (← links)
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
- Arithmetical complexity of fuzzy predicate logics -- a survey. II. (Q1035656) (← links)
- Giles's game and the proof theory of Łukasiewicz logic (Q1037588) (← links)
- On the predicate logics of continuous t-norm BL-algebras (Q1765100) (← links)
- Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic (Q2212726) (← links)
- On arithmetic in the Cantor-Łukasiewicz fuzzy set theory (Q2388435) (← links)
- Monotone operators on Gödel logic (Q2449851) (← links)
- Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik (Q3315483) (← links)
- Die Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre (Q3315484) (← links)
- Herbrand Theorems and Skolemization for Prenex Fuzzy Logics (Q3507415) (← links)
- A note on the first‐order logic of complete BL‐chains (Q3520231) (← links)
- Infinite-Valued First-Order Łukasiewicz Logic: Hypersequent Calculi Without Structural Rules and Proof Search for Sentences in the Prenex Form (Q4558324) (← links)
- Notes on Strong Completeness in Łukasiewicz, Product and BL Logics and in Their First-Order Extensions (Q5426008) (← links)
- Rational Pavelka logic: the best among three worlds? (Q6083147) (← links)
- Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic (Q6107297) (← links)
