Typelogical Proof Nets in Python - Graphical Lambek-Grishin Calculus

dc.rights.license	CC-BY-NC-ND
dc.contributor.advisor	Moortgat, M.J.
dc.contributor.advisor	van Oostrom, V.
dc.contributor.author	Dost, S.N.
dc.date.accessioned	2013-05-21T17:01:11Z
dc.date.available	2013-05-21
dc.date.available	2013-05-21T17:01:11Z
dc.date.issued	2013
dc.identifier.uri	https://studenttheses.uu.nl/handle/20.500.12932/13004
dc.description.abstract	The aim of this thesis is to investigate a graphical method for Lambek-Grishin calculus. Graphical calculus is a good alternative to sequent calculus and natural deduction for use in automated deduction. The first part of the thesis presents the graphical calculus, reiterating previous work on the subject. After this introduction the methods' relation to sequent calculus is explained, in the form of proof terms. All this is implemented as a theorem prover in Python, which can be found in the appendix.
dc.description.sponsorship	Utrecht University
dc.format.extent	906140 bytes
dc.format.mimetype	application/pdf
dc.language.iso	en
dc.title	Typelogical Proof Nets in Python - Graphical Lambek-Grishin Calculus
dc.type.content	Bachelor Thesis
dc.rights.accessrights	Open Access
dc.subject.courseuu	Kunstmatige Intelligentie