AxiomCalc
From MaRDI portal
Software:32073
No author found.
Related Items (6)
Densification of FL chains via residuated frames ⋮ A note on standard completeness for some extensions of uninorm logic ⋮ On some questions concerning the axiomatisation of WNM-algebras and their subvarieties ⋮ Density revisited ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Uniform proofs of standard completeness for extensions of first-order MTL
This page was built for software: AxiomCalc
