Article PDF
Use our pre-submission checklist
Avoid common mistakes on your manuscript.
Rights and permissions
About this article
Cite this article
Automated theorem proving for non-classical logics. Stud Logica 52, 489 (1993). https://doi.org/10.1007/BF01057660
Issue Date:
DOI: https://doi.org/10.1007/BF01057660