Pages that link to "Item:Q2364294"
From MaRDI portal
The following pages link to Free-variable semantic tableaux for the logic of fuzzy inequalities (Q2364294):
Displaying 4 items.
- Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic (Q2212726) (← links)
- Infinite-Valued First-Order Łukasiewicz Logic: Hypersequent Calculi Without Structural Rules and Proof Search for Sentences in the Prenex Form (Q4558324) (← links)
- Analytic fuzzy tableaux (Q5957079) (← links)
- Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic (Q6107297) (← links)