AxiomCalc

swMATH20253MaRDI QIDQ32073

Author name not available (Why is that?)

Described by source

• Standard Completeness for Extensions of MTL: An Automated Approach

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