Labelled Theorem Proving for Substructural Logics

• Authors:

• Claudia M. G. M. Oliveira

• Affiliations:

• -

• Venue:
• SBIA '95 Proceedings of the 12th Brazilian Symposium on Artificial Intelligence: Advances in Artificial Intelligence
• Year:
• 1995