VITO MICHELE ABRUSCI
Qualifica | Titolare Esterno di Incarico Didattico |
vitomichele.abrusci@uniroma3.it | |
Indirizzo | Via della Vasca Navale 84 |
Struttura/Afferenza |
|
Altre informazioni | Sito web personale Curriculum |
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
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.
Contributo in Rivista
- Proof Nets for Multiplicative Cyclic Linear Logic and Lambek Calculus, MAIELI, ROBERTO; ABRUSCI, VITO MICHELE, , 2019Link identifier #identifier_person_198185-1 Dettaglio
- A Geometrical Representation of the Basic Laws of Categorial Grammar, ABRUSCI, VITO MICHELE, , 2017Link identifier #identifier_person_30366-2 Dettaglio
- HILBERT’S τ AND ε IN PROOF THEORETICAL FOUNDATIONS OF MATHEMATICS:AN INTRODUCTION, ABRUSCI, VITO MICHELE, , 2017Link identifier #identifier_person_25646-3 Dettaglio
- Analytic and synthetic in logic, ABRUSCI, VITO MICHELE, , 2016Link identifier #identifier_person_156944-4 Dettaglio
- Quantification in ordinary language and proof theory, ABRUSCI, VITO MICHELE, , 2016Link identifier #identifier_person_125044-5 Dettaglio
- Formal Ontologies and Coherent Spaces, ABRUSCI, VITO MICHELE; ROMANO, MARCO, , 2014Link identifier #identifier_person_137115-6 Dettaglio
- On Hilbert's Axiomatics of Propositional Logic, ABRUSCI, VITO MICHELE, , 2014Link identifier #identifier_person_197115-7 Dettaglio
- Sull'antinomia del mentitore. Un'analisi e alcune considerazioni, ABRUSCI, VITO MICHELE, , 2014Link identifier #identifier_person_64135-8 Dettaglio
- Universal vs. particular reasoning: a study with neuroimaging techniques, ABRUSCI, VITO MICHELE, , 2013Link identifier #identifier_person_150911-9 Dettaglio
- Universal and Particular Contradiction in Human Reasoning, MEDAGLIA, MARIA TERESA; ABRUSCI, VITO MICHELE; CASADIO, CLAUDIA, , 2009Link identifier #identifier_person_48034-10 Dettaglio
- Towards a semantics of proofs for non-commutative logic: multiplicatives and additives, ABRUSCI, VITO MICHELE, , 2003Link identifier #identifier_person_62248-11 Dettaglio
- Classical conservative extensions of Lambek Calculus , The Lambek Calculus in Logic and Linguistics,, ABRUSCI, VITO MICHELE, , 2002Link identifier #identifier_person_193056-12 Dettaglio
Libro
- ABRUSCI, VITO MICHELE, LOGICA, 2018 Link identifier #identifier_person_183531-13Dettaglio
- ABRUSCI, VITO MICHELE; TORTORA DE FALCO, LORENZO, Logica, 2018 Link identifier #identifier_person_9796-14Dettaglio
- ABRUSCI, VITO MICHELE, Logica, 2016 Link identifier #identifier_person_28518-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_22372-16Dettaglio
- ABRUSCI, VITO MICHELE, Logica . Seconda Edizione, pp. 1 300, 2012 Link identifier #identifier_person_22049-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_64075-18Dettaglio
- ABRUSCI, VITO MICHELE, La logica e le altre discipline, pp. 241 254, 2018 Link identifier #identifier_person_196680-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_156403-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_53842-21Dettaglio
- ABRUSCI, VITO MICHELE, Les écrans et l'interaction: un défi pour la logique, pp. 47 62, 2016 Link identifier #identifier_person_199250-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_198479-23Dettaglio
- ABRUSCI, VITO MICHELE, Dedekind, Hilbert, Goedel: the Comparison between Logical Sentences and Arithmetical Sentences, pp. 55 72, 2014 Link identifier #identifier_person_30409-24Dettaglio
- ABRUSCI, VITO MICHELE, On Residuation, issn 0302-9743, vol. 8222, pp. 14 27, 2014 Link identifier #identifier_person_11997-25Dettaglio
- ABRUSCI, VITO MICHELE; PISTONE, PAOLO, On Transcendental Syntax: a Kantian Program for Logic?, pp. 1 18, 2014 Link identifier #identifier_person_189439-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_65373-27Dettaglio
- ABRUSCI, VITO MICHELE, Geometria nella logica: le dimostrazioni, pp. 157 180, 2011 Link identifier #identifier_person_28829-28Dettaglio
- ABRUSCI, VITO MICHELE; ROMANO, MARCO, Ontologies and Coherence Spaces, issn 0302-9743, vol. 6505, pp. 205 2019, 2011 Link identifier #identifier_person_133427-29Dettaglio
- ABRUSCI, VITO MICHELE, Non-commutative logic: A survey, 2003 Link identifier #identifier_person_59501-30Dettaglio