Title: Diagram Construction in Intuitionistic Logic
Abstract: Journal Article Diagram Construction in Intuitionistic Logic Get access Seyed Mohammad Bagheri, Seyed Mohammad Bagheri Department of Mathematics, Tarbiat Modarres University, Tehran, Iran, P.O. Box 14115-175. Institute for Studies in Theoretical Physics and Mathematics (IPM), P.O. Box 19395-5746. E-mail: [email protected] Search for other works by this author on: Oxford Academic Google Scholar Massoud Pourmahdian Massoud Pourmahdian School of Mathematics, Amirkabir University of Technology, Tehran, Iran. Institute for Studies in Theoretical Physics and Mathematics (IPM), P.O. Box 19395-5746. E-mail: [email protected] Search for other works by this author on: Oxford Academic Google Scholar Logic Journal of the IGPL, Volume 14, Issue 6, December 2006, Pages 889–901, https://doi.org/10.1093/jigpal/jzl028 Published: 01 December 2006 Article history Received: 15 June 2006 Published: 01 December 2006
Publication Year: 2006
Publication Date: 2006-08-05
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 1
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot