AxiomCalc

swMATH20253MaRDI QIDQ32073FDOQ32073

Author name not available (Why is that?)

Official website: https://www.logic.at/tinc/webaxiomcalc/

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