The following pages link to AxiomCalc (Q32073):
Displaying 6 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)
- On some questions concerning the axiomatisation of WNM-algebras and their subvarieties (Q1697331) (← links)
- Density revisited (Q1699744) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)