The following pages link to (Q2753673):
Displaying 17 items.
- Densification of FL chains via residuated frames (Q271692) (← links)
- The eskolemization of universal quantifiers (Q638487) (← links)
- Uniform proofs of standard completeness for extensions of first-order MTL (Q744987) (← links)
- Terminological difficulties in fuzzy set theory -- the case of ``intuitionistic fuzzy sets'' (Q812591) (← links)
- Density elimination (Q944384) (← links)
- A cut-free calculus for second-order Gödel logic (Q1677040) (← links)
- Density revisited (Q1699744) (← links)
- Analytic calculi for product logics (Q1762728) (← links)
- A proof-theoretical investigation of global intuitionistic (fuzzy) logic (Q1778065) (← links)
- On the concurrent computational content of intermediate logics (Q1989344) (← links)
- From semantic games to provability: the case of Gödel logic (Q2118973) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- First-order Gödel logics (Q2370370) (← links)
- A Multiple-Conclusion Calculus for First-Order Gödel Logic (Q3007648) (← links)
- Herbrand Theorems and Skolemization for Prenex Fuzzy Logics (Q3507415) (← links)
- Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic (Q6107297) (← links)
