Prof. VITO MICHELE ABRUSCI

QualificaSenior di Ateneo
Telefononull
Cellulare aziendale87432
Emailvitomichele.abrusci@uniroma3.it
IndirizzoVia Ostiense 159
Struttura/Afferenza
  • Dipartimento di Matematica e Fisica
Altre informazioniSito web personale
Curriculum
foto profilo
Qualora le informazioni riportate a lato risultino assenti, incomplete o errate leggi le seguenti istruzioni
Per telefonare da un edificio dell'Ateneo all'altro SE il numero unico inizia con "06 5733xxxx" basta comporre le ultime quattro cifre del numero esteso.

Profilo INSEGNAMENTI Prodotti della ricerca Avvisi Ricevimento e materiale didattico

Contributo in Rivista

  • Proof Nets for Multiplicative Cyclic Linear Logic and Lambek Calculus, MAIELI, ROBERTO; ABRUSCI, VITO MICHELE, , 2019Link identifier #identifier_person_9714-1 Dettaglio
  • A Geometrical Representation of the Basic Laws of Categorial Grammar, ABRUSCI, VITO MICHELE, , 2017Link identifier #identifier_person_47859-2 Dettaglio
  • HILBERT’S τ AND ε IN PROOF THEORETICAL FOUNDATIONS OF MATHEMATICS:AN INTRODUCTION, ABRUSCI, VITO MICHELE, , 2017Link identifier #identifier_person_86350-3 Dettaglio
  • Analytic and synthetic in logic, ABRUSCI, VITO MICHELE, , 2016Link identifier #identifier_person_192244-4 Dettaglio
  • Quantification in ordinary language and proof theory, ABRUSCI, VITO MICHELE, , 2016Link identifier #identifier_person_27738-5 Dettaglio
  • Formal Ontologies and Coherent Spaces, ABRUSCI, VITO MICHELE; ROMANO, MARCO, , 2014Link identifier #identifier_person_136144-6 Dettaglio
  • On Hilbert's Axiomatics of Propositional Logic, ABRUSCI, VITO MICHELE, , 2014Link identifier #identifier_person_193404-7 Dettaglio
  • Sull'antinomia del mentitore. Un'analisi e alcune considerazioni, ABRUSCI, VITO MICHELE, , 2014Link identifier #identifier_person_174504-8 Dettaglio
  • Universal vs. particular reasoning: a study with neuroimaging techniques, ABRUSCI, VITO MICHELE, , 2013Link identifier #identifier_person_102248-9 Dettaglio
  • Universal and Particular Contradiction in Human Reasoning, MEDAGLIA, MARIA TERESA; ABRUSCI, VITO MICHELE; CASADIO, CLAUDIA, , 2009Link identifier #identifier_person_190686-10 Dettaglio
  • Towards a semantics of proofs for non-commutative logic: multiplicatives and additives, ABRUSCI, VITO MICHELE, , 2003Link identifier #identifier_person_12464-11 Dettaglio
  • Classical conservative extensions of Lambek Calculus , The Lambek Calculus in Logic and Linguistics,, ABRUSCI, VITO MICHELE, , 2002Link identifier #identifier_person_139528-12 Dettaglio

Libro

  • ABRUSCI, VITO MICHELE, LOGICA, 2018 Link identifier #identifier_person_23861-13Dettaglio
  • ABRUSCI, VITO MICHELE; TORTORA DE FALCO, LORENZO, Logica, 2018 Link identifier #identifier_person_68567-14Dettaglio
  • ABRUSCI, VITO MICHELE, Logica, 2016 Link identifier #identifier_person_96274-15Dettaglio
  • ABRUSCI, VITO MICHELE; TORTORA DE FALCO, LORENZO, LogicaVolume 1- Dimostrazioni e modelli al primo ordine, UNITEXT, issn 2038-5714, vol. 80, 2014 Link identifier #identifier_person_65171-16Dettaglio
  • ABRUSCI, VITO MICHELE, Logica . Seconda Edizione, pp. 1 300, 2012 Link identifier #identifier_person_87305-17Dettaglio

Contributo in volume e atti di convegno

  • ABRUSCI, VITO MICHELE, Hilbert's tau and epsilon in Proof Theory: a proof-theoretical representation of universal and existential statements, pp. 1 21, 2018 Link identifier #identifier_person_132107-18Dettaglio
  • ABRUSCI, VITO MICHELE, La logica e le altre discipline, pp. 241 254, 2018 Link identifier #identifier_person_83215-19Dettaglio
  • ABRUSCI, VITO MICHELE; PISTONE, PAOLO, Le direzioni della ricerca logica in Italia: la logica lineare e i suoi sviluppi, pp. 1 48, 2018 Link identifier #identifier_person_49900-20Dettaglio
  • ABRUSCI, VITO MICHELE; MAIELI, ROBERTO, Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing, issn 0302-9743, vol. 9804, pp. 43 59, 2016 Link identifier #identifier_person_80380-21Dettaglio
  • ABRUSCI, VITO MICHELE, Les écrans et l'interaction: un défi pour la logique, pp. 47 62, 2016 Link identifier #identifier_person_167676-22Dettaglio
  • ABRUSCI, VITO MICHELE; MAIELI, ROBERTO, Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing, vol. 9160, pp. 53 68, 2015 Link identifier #identifier_person_45722-23Dettaglio
  • ABRUSCI, VITO MICHELE, Dedekind, Hilbert, Goedel: the Comparison between Logical Sentences and Arithmetical Sentences, pp. 55 72, 2014 Link identifier #identifier_person_185001-24Dettaglio
  • ABRUSCI, VITO MICHELE, On Residuation, issn 0302-9743, vol. 8222, pp. 14 27, 2014 Link identifier #identifier_person_132723-25Dettaglio
  • ABRUSCI, VITO MICHELE; PISTONE, PAOLO, On Transcendental Syntax: a Kantian Program for Logic?, pp. 1 18, 2014 Link identifier #identifier_person_9661-26Dettaglio
  • ABRUSCI, VITO MICHELE, Osservazioni sulla filosofia della logica, alla luce della ricerca avviata con la logica lineare, pp. 537 555, 2012 Link identifier #identifier_person_141519-27Dettaglio
  • ABRUSCI, VITO MICHELE, Geometria nella logica: le dimostrazioni, pp. 157 180, 2011 Link identifier #identifier_person_194496-28Dettaglio
  • ABRUSCI, VITO MICHELE; ROMANO, MARCO, Ontologies and Coherence Spaces, issn 0302-9743, vol. 6505, pp. 205 2019, 2011 Link identifier #identifier_person_57440-29Dettaglio
  • ABRUSCI, VITO MICHELE, Non-commutative logic: A survey, issn 0302-9743, 2003 Link identifier #identifier_person_163395-30Dettaglio