---
abstract: "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, the application of logic to treat natural language grammars in a computational way raised the interest of linguists, for example applying Lambek's categorial calculus. In recent years, the most consolidated formal grammars (e.g., Minimalism, HPSG, TAG, CCG, 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, no one seems to have paid much attention to cognitive linguistics, a branch of linguistics that actively uses concepts and results from cognitive sciences. Apparently unrelated, the study of computational concepts and formalisms has developed in pair with constructive formal systems, especially in the branch of logic called proof theory, see, e.g., the Curry-Howard isomorphism and the typed functional languages. In this paper, we want to bridge these worlds and thus present our natural language formalism, called Adpositional Grammars (AdGrams), that is founded over both cognitive linguistics and constructive mathematics."
altloc: []
chapter: ~
commentary: ~
commref: ~
confdates: ~
conference: ECAP
confloc: Universitat Autonoma de Barcelona
contact_email: ~
creators_id:
- federico.gobbo@uninsubria.it
- marco.benini@uninsubria.it
creators_name:
- family: Gobbo
given: Federico
honourific: Dr
lineage: ''
- family: Benini
given: Marco
honourific: Dr
lineage: ''
date: 2009-07-03
date_type: published
datestamp: 2012-12-22 13:16:19
department: ~
dir: disk0/00/00/87/72
edit_lock_since: ~
edit_lock_until: 0
edit_lock_user: ~
editors_id: []
editors_name: []
eprint_status: archive
eprintid: 8772
fileinfo: /8772/1.hassmallThumbnailVersion/P.2009.2.gobbo-benini-ecap2009-proposal.pdf;/8772/1/P.2009.2.gobbo-benini-ecap2009-proposal.pdf
full_text_status: public
importid: ~
institution: ~
isbn: ~
ispublished: pub
issn: ~
item_issues_comment: []
item_issues_count: ~
item_issues_description: []
item_issues_id: []
item_issues_reported_by: []
item_issues_resolved_by: []
item_issues_status: []
item_issues_timestamp: []
item_issues_type: []
keywords: ~
lastmod: 2013-02-18 15:10:19
latitude: ~
longitude: ~
metadata_visibility: show
note: ~
number: ~
pagerange: 1-3
pubdom: FALSE
publication: ~
publisher: ~
refereed: TRUE
referencetext: ~
relation_type: []
relation_uri: []
reportno: ~
rev_number: 9
series: ~
source: ~
status_changed: 2012-12-22 13:16:19
subjects:
- comp-sci-lang
- ling-comput
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
thesistype: ~
title: A Constructive Mathematic approach for Natural Language formal grammars
type: confpaper
userid: 19058
volume: ~