Link Campus University

Research Department Repository

Economy and FinanceIntelligence, Defense and SecurityInternational relationsLanguageLawMediaPerforming ArtsPoliticsResearchSportTechnology & InnovationThesis

La prova per intercettazioni tra diritto interno e diritto sovranazionale

Alfredo Bargi, Sandro Furfaro - Il contributo ha ad oggetto l’analisi dei vari profili – di diritto ordinario, costituzionale e sovranazionale – inerenti all'inquadramento teorico e pratico delle intercettazioni. In tale ambito vengono esaminati i criteri di ammissibilità dell’istituto e di valutazione probatoria dei risultati delle captazioni, nonché i vizi in ordine all'adozione dello strumento di ricerca e le deviazioni nella prassi, nel costante confronto tra diritto interno e diritto europeo.

Quantification in ordinary language and proof theory

Abrusci, Vito Michele; Pasquali, Fabio; Retoré, Christian - This paper gives an overview of the common approach to quantification and generalised quantification in formal linguistics and philosophy of language. We point out how this usual general framework represents a departure from empirical linguistic data.

Proof Nets for Multiplicative Cyclic Linear Logic and Lambek Calculus

Maieli, Roberto; Abrusci, Vito Michele - This paper presents a simple and intuitive syntax for proof nets of the multiplicative cyclic fragment (McyLL) of linear logic (LL). The main technical achievement of this work is to propose a correctness criterion that allows for sequentialization (recovering a proof from a proof net) for all McyLL proof nets, including those containing cut links.

Analytic and synthetic in logic

Abrusci, Vito Michele - First, I will introduce the distinction between analytic and synthetic as a partition of propositions, proofs, programs and definitions, as an extension of the distinction between analytic categorical propositions and synthetic categorical propositions in ancient Logic.

A Geometrical Representation of the Basic Laws of Categorial Grammar

Abrusci, Vito Michele - We present a geometrical analysis of the principles that lay at the basis of Categorial Grammar and of the Lambek Calculus. In Abrusci (On residuation, 2014) it is shown that the basic properties known as Residuation laws can be characterized in the framework of Cyclic Multiplicative Linear Logic, a purely non-commutative fragment of Linear Logic.

Social awareness on voluntary termination of pregnancy: a cross-section study

Ferrara, M.; Langiano, E.; Greco, E.; De Sio, S.; Vecchiarini, A.; Esposito, M.; De Vito, E. - The objective of this research is to assess the social awareness of Voluntary Termination of Pregnancy (VTP) in order to develop adequate information and training programmes. An observational study was carried out on a sample of individuals aged between 14 and 68.

Health promotion as a global socio-political process: first steps

Greco Emilio - The article provides an historical analysis of the concept of health. On these basis, it is possible to deconstruct institutional conceptions of health and shows the salience of prevention and health promotions in these narratives. On these basis, it is proposed to connect sociological theories of health inequalities with institutional definitions of health.

Un progetto di educazione alla salute sul fumo di tabacco in un campione di donne in ambiente di lavoro. Un cross sectional study

Langiano, E., Ferrara M., Greco, E., De Sio, S., De Vito, E. - The aim of the study is to analyze the smoking attitudes of women in their working environment before and after a prevention campaign on the damage of smoking. 831 questionnaires were administered, before and after the educational intervention, with special attention to smoking habits and to the behaviours typical of the working circle.