?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=A+Constructive+Mathematic+approach+for+Natural+Language+formal+grammars&rft.creator=Gobbo%2C+Dr+Federico&rft.creator=Benini%2C+Dr+Marco&rft.subject=Language&rft.subject=Computational+Linguistics&rft.description=A+mathematical+description+of+natural+language+grammars+has+been+proposed+first+by+Leibniz.+After+the+definition+given+by+Frege+of+unsaturated+expression+and+the+foundation+of+a+logical+grammar+by+Husserl%2C+the+application+of+logic+to+treat+natural+language+grammars+in+a+computational+way+raised+the+interest+of+linguists%2C+for+example+applying+Lambek's+categorial+calculus.+In+recent+years%2C+the+most+consolidated+formal+grammars+(e.g.%2C+Minimalism%2C+HPSG%2C+TAG%2C+CCG%2C+Dependency+Grammars)+began+to+show+an+interest+in+giving+a+strong+psychological+interpretation+to+the+formalism+and+hence+to+natural+language+data+on+which+they+are+applied.+Nevertheless%2C+no+one+seems+to+have+paid+much+attention+to+cognitive+linguistics%2C+a+branch+of+linguistics+that+actively+uses+concepts+and+results+from+cognitive+sciences.+Apparently+unrelated%2C+the+study+of+computational+concepts+and+formalisms+has+developed+in+pair+with+constructive+formal+systems%2C+especially+in+the+branch+of+logic+called+proof+theory%2C+see%2C+e.g.%2C+the+Curry-Howard+isomorphism+and+the+typed+functional+languages.+In+this+paper%2C+we+want+to+bridge+these+worlds+and+thus+present+our+natural+language+formalism%2C+called+Adpositional+Grammars+(AdGrams)%2C+that+is+founded+over+both+cognitive+linguistics+and+constructive+mathematics.&rft.date=2009-07-03&rft.type=Conference+Paper&rft.type=PeerReviewed&rft.format=application%2Fpdf&rft.identifier=http%3A%2F%2Fcogprints.org%2F8772%2F1%2FP.2009.2.gobbo-benini-ecap2009-proposal.pdf&rft.identifier=++Gobbo%2C+Dr+Federico+and+Benini%2C+Dr+Marco++(2009)+A+Constructive+Mathematic+approach+for+Natural+Language+formal+grammars.++%5BConference+Paper%5D+++++&rft.relation=http%3A%2F%2Fcogprints.org%2F8772%2F