@inproceedings{90e8906009ce4ec2a24b31b203da84b9,
title = "Labelled theorem proving for substructural logics",
abstract = "In this paper we will present an implementation of a theorem prover for substructural logics, as they are presented in the framework of Labelled Deductive Systems [3]. This implementation is an instance of a general theorem proving environment described in [4].",
keywords = "Automated reasoning, Substructural logics, Theorem proving",
author = "Oliveira, {Claudia M G M}",
year = "1995",
doi = "10.1007/BFb0034801",
language = "English",
isbn = "3540604367",
volume = "991",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer, Springer Nature",
pages = "79--90",
booktitle = "Advances in Artificial Intelligence - 12th Brazilian Symposium on Artificial Intelligence, SBIA 1995, Proceedings",
address = "United States",
note = "12th Brazilian Symposium on Artificial Intelligence, SBIA 1995 ; Conference date: 10-10-1995 Through 12-10-1995",
}