The following pages link to Density elimination (Q944384):
Displaying 12 items.
- Densification of FL chains via residuated frames (Q271692) (← links)
- Proof theory for lattice-ordered groups (Q287483) (← 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 revisited (Q1699744) (← links)
- Implicational (semilinear) logics. III: Completeness properties (Q1745358) (← links)
- Densification via polynomials, languages, and frames (Q2229970) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions (Q2270235) (← links)
- A proof of the standard completeness for the involutive uninorm logic (Q2337894) (← links)
- A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts (Q2677854) (← links)
- Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic (Q6107297) (← links)
