AxiomCalc

MaRDI QIDQ32073swMATHFDO

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

Described by source

• Standard completeness for extensions of MTL: an automated approach

Cited in

(6)

• On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
• Density revisited
• Hypersequent and display calculi -- a unified perspective
• Densification of FL chains via residuated frames
• Uniform proofs of standard completeness for extensions of first-order MTL
• A note on standard completeness for some extensions of uninorm logic

This page was built for software: AxiomCalc