The following pages link to (Q5406034):
Displayed 7 items.
- Densification of FL chains via residuated frames (Q271692) (← links)
- Density revisited (Q1699744) (← links)
- Fuzzy sets and formal logics (Q2014418) (← links)
- Repetition-free and infinitary analytic calculi for first-order rational Pavelka logic (Q2212726) (← links)
- The original sin of proof-theoretic semantics (Q2690170) (← links)
- Craig interpolation for semilinear substructural logics (Q3144874) (← links)
- Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic (Q6107297) (← links)