Pages that link to "Item:Q5434503"
From MaRDI portal
The following pages link to Density Elimination and Rational Completeness for First-Order Logics (Q5434503):
Displaying 5 items.
- Densification of FL chains via residuated frames (Q271692) (← links)
- Uniform proofs of standard completeness for extensions of first-order MTL (Q744987) (← links)
- A note on standard completeness for some extensions of uninorm logic (Q894654) (← links)
- Density elimination (Q944384) (← links)
- Substructural fuzzy logics (Q5422306) (← links)
