Cited in
(6)- Densification of FL chains via residuated frames
- Density revisited
- A note on standard completeness for some extensions of uninorm logic
- Uniform proofs of standard completeness for extensions of first-order MTL
- Hypersequent and display calculi -- a unified perspective
- On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
This page was built for software: AxiomCalc
