Abstract: Journal Article A Useful Substructural Logic Get access GREG RESTALL GREG RESTALL Automated Reasoning Project, Australian National UniversityCanberra, 0200, Australia E-mail: [email protected] Search for other works by this author on: Oxford Academic Google Scholar Logic Journal of the IGPL, Volume 2, Issue 2, September 1994, Pages 137–148, https://doi.org/10.1093/jigpal/2.2.137 Published: 01 September 1994 Article history Revision received: 05 April 1994 Received: 01 September 1994 Published: 01 September 1994
Publication Year: 1994
Publication Date: 1994-01-01
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 14
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot