SLI

  • Aumenta dimensione caratteri
  • Dimensione caratteri predefinita
  • Diminuisci dimensione caratteri

SLI 15

Stampa

SLI 15

Linguaggi e formalizzazioni

INDICE

IX

PAOLO RAMAT Premessa

XI

DANIELE GAMBARARA, FRANCO LO PIPARO Introduzione

TOMO PRIMO

Parte prima: STORIA E .TEORIA DEI LINGUAGGI FORMALI

5

ETTORE CARRUCCIO Aspetti e problemi dell'evoluzione storica dei linguaggi matematici e logici

13

MAURIZIO MATTEUZZI Universi, logiche e linguaggi. Breve analisi della nozione di 'teoria'

29

ATTILIO AGONI Esperienza, linguaggio e fondamenti della fisica

47

ARNOLD OBERSCHELP A logical System incorporating its own Syntax and Semantics

73

GENNARO CHIERCHIA Usi metalinguistici riflessivi nei sistemi formali e nelle lingue storico-naturali

Parte seconda: GRAMMATICHE FORMALI E ALGEBRA ASTRATTA

81

FRANCO LO PIPARO Grammaticalità e decidibilità. Grammatiche generativo-trasformazionali e lingue storico-naturali

103

ROSANNA SORNICOLA Per una teoria algebrica dei componenti di una grammatica generativo-trasformazionale

117

DANIELE GAMBARARA L'ordine dei significati

139

ANTONIO PASINI 'Algebra universale' e analisi linguistica

151

UMBERTA BORTOLINI, CARLO MINNAJA, LAURA PACCAGNELLA Aspetti teorici e metodologici della nozione di 'distanza'

Parte terza: LINGUAGGI E LOGICHE NON CLASSICHE

175

ANTONINO NOTO Logica e pragmatica

191

JEAN-BLAISE GRIZE Quelques opérations de la logique naturelle

213

GIULIANO DI BERNARDO Linguaggio e logica deontica. Nota sui paradossi deontici

221

ALESSANDRO FERRARA Intendere, volere, desiderare. Considerazioni preliminari su una possibile logica bulomaica

241

ALBERTO MARIA CIRESE Di alcune semilogiche operazioni semiologiche

Parte quarta: SEMANTICA DEI MONDI POSSIBILI E QUANTIFICAZIONE

269

MAURO NASTI Fra logica e linguistica: atteggiamenti proposizionali, grammatiche di Montague e semantica operazionale

297

VINCENZO MANCA Logica pragmatica e formalizzazione linguistica

307

ARNIM VON STECHOW Occurrence-Interpretation and Context-Theory

349

PASQUALE PETRUCCI Combinatori e grammatica lambda-categoriale

369

DIEGO MARCONI Some problems with the analysis of 'only', with some remarks on presuppositions, semantics and pragmatics

383

MARCO SANTAMBROGIO Quantificazione nel linguaggio naturale

423

EMILIO MANZOTTI, NICOLETTA VILLA Sintagmi nominali a referenza generica: note sintattiche e semantiche

447

MASSIMO MONEGLIA Ambiguità temporale delle frasi al presente semplice in una estensione della grammatica di Montague

TOMO SECONDO

Parte quinta: TRATTAMENTO FORMALE DELL'ENUNCIAZIONE

463

JEAN-PIERRE DESCLÉS Présentation du programme interdisciplinaire de traitement formel et automatique des langues et du langage

491

JEAN-PIERRE DECLÉS Représentation formelle de quelques déictiques français

539

PIERO CARACCIOLO Opérations énonciatives dans les systèmes des pronoms démonstratifs français et italiens

547

CATAERINE FUCHS De quelques catégories énonciatives élémentaires: arguments linguistiques

Parte sesta: TRATTAMENTO FORMALE DEL LESSICO

557

MAURICE GROSS Linguistique taxonomique et linguistique théorique

573

JÁNOS S. PETÖFI Text representation and lexicon as semantic network

591

CRISTOPH SCHWARZE Il lessico in una grammatica comparativa

601

CARLA MARELLO Casi, variabili sortali e formalizzazione del lessico

Parte settima: TRATTAMENTO COMPUTERISTICO DEL LINGUAGGIO

615

TOMMASO MARIA LAZZARI Alcuni problemi connessi alla costruzione di un modello procedurale del linguaggio

631

ANTONINO DI SPARTI Le figure del discorso tra linguistica e intelligenza artificiale. Osservazioni preliminari ad una elaborazione automatica del discorso figurato

643

EUGENIO MORREALE Un sistema automatico interattivo per l'analisi morfologica di parole italiane

667

BRUNO GRAZIADIO, VINCENZO MANCA, EUGENIO MORREALE Un sistema automatico interattivo per il trattamento di informazioni linguistiche

683

GRUPPO DI PISA Il dizionario di macchina dell'italiano

709

DISCUSSIONI

799

INDICI