Vai alla pagina principale delle Pubblicazioni
Pubblicazioni su riviste o monografie internazionali (I)
| [RI-2010a] | Abstract Deduction and Inferential Models for Type Theory, <<Information and Computation>>, Elsevier, Volume 208, Issue 7, Luglio 2010, pp 737-771 (In collaborazione con M.Martelli) |
| [RI-2009c] | Proof Theory and Mathematical Meaning of Paraconsistent C-Systems, <<Journal of Applied Logic>>, Elsevier, Volume 9, Issue 3, Settembre 2011, pp 171-202 [prima accettazione Settembre 2009] |
| [RI-2007a] | Paraconsistent Arithmetic with a Local Consistency Operator and Global Selfreference, <<Electronic Notes in Theoretical Computer Science (ENTCS)>>, Volume 169, Marzo 2007, pp 73-86 |
| [RI-2006a] | Paraconsistent Provability Logic and Rational Epistemic Agents, in Paraconsistency with No Frontiers, J.Y. Beziau, W.A. Carnielli eds., Elsevier, 2006, pp 189-226 (In collaborazione con C.Benassi) |
| [RI-2005d] | Paraconsistent Informational Logic, <<Journal of Applied Logic>>, Elsevier Science, n. 3, 2005, pp 97-118 (In collaborazione con P. Forcheri) |
| [RI-2005e] | Paraconsistent Conjectural Deduction based on Logical Entropy Measures I: the C-Systems as Non Standard Inference Framework, <<Journal of Applied Non Classical Logics>>, Edition Hermes, Vol.15, n.3, 2005 pp 285-319 (In collaborazione con P. Forcheri) |
| [RI-1999a] | Proof- theoretic Modal PA- Completeness I: a system-sequent metric, <<Studia Logica-An International Journal for symbolic logic>>, Kluwer Academic Publishers, Vol. 63, 1999, pp 27-48 |
| [RI-1999b] | Proof-theoretic Modal PA-Completeness II: the syntactic countermodel, <<Studia Logica-An International Journal for symbolic logic>>, Kluwer Academic Publishers, Vol. 63, 1999, pp 245-268 |
| [RI-1999c] | Proof-theoretic Modal PA-Completeness III: the syntactic proof, <<Studia Logica-An International Journal for symbolic logic>>, Kluwer Academic Publishers, Vol. 63, 1999, pp 301-310 |
| [RI-1999d] | Informational Logic in knowledge representation and automated deduction, <<Artificial Intelligence Communications-The European Journal on Artificial Intelligence>>, IOS Press, Vol 12, 1999, pp 185-208 (In collaborazione con P. Forcheri, M.T. Molfino) |
| [RI-1998a] | Informational Logic as a Tool for Automated Reasoning, <<Journal of Automated Reasoning>>, Kluwer Academic Publishers, Vol 20, n.1-2, 1998, pp167-190 (In collaborazione con P. Forcheri, M.T. Molfino) |
| [RI-1997a] | Conjectural Provability Logic based on logical information measures, <<Bulletin of Symbolic Logic>>, Association for Symbolic Logic ed., Vol 3, n.2, 1997, pp 259-260, anche presentato al Congresso Europeo di Logica Logic Colloquium 1996 (In collaborazione con P. Forcheri, M.T. Molfino) |
| [RI-1996a] | Informational logic for automated reasoning, in Logics in Artificial Intelligence, J.J. Alferes-L.M. Pereira-E. Orlowska eds., Lectures Notes in Artificial Intelligence, Springer, 1996, pp 354-372 (In collaborazione con P. Forcheri, M.T. Molfino) |
| [RI-1996b] | Research in automated deduction as a basis for a probabilistic proof- theory, in Logic and Algebra, P.Agliano'-A.Ursini eds., Dekker, New York, 1996, pp 491-527 (In collaborazione con P. Forcheri, M.T. Molfino) |
| [RI-1993a] | Syntactical Results on the Arithmetical Completeness of Modal Logic, <<Studia Logica-An International Journal for symbolic logic>>, Kluwer Academic Publishers, Vol. 52, 1993, pp 549-564 |
| [RI-1992a] | Provability Logic in the Gentzen Formulation of Arithmetic, <<Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik>>, Berlin, Vol. 38, 1992, pp 535-550 |
| [RI-1986a] | On the Proof -Theory of the Modal Logic GRZ, <<Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik>>, bd. 32, Berlin, 1986, pp 145-148 (In collaborazione con M. Borga) |
| [CIR-2011g] | Discussing Church's Thesis through evolutionary effective learning machines based on Constructive Paraconsistent Logic and Informational Logic, Church's Thesis: Logic, Mind and Nature, "Studia Logica" International Conference-Trends in Logic IX, Cracovia, 3-5 Giugno 2011 |
| [CIR-2006c] | A Formal Ontology Framework for Societies of Communicating Agents through Arithmetical Theories endowed with Self-reference and their Models, Proceedings of the Workshop ''Formal Ontologies for Communicating Agents'', in ESSLLI 2006 (18th European Summer School in Logic, Language, Information), Malaga, Luglio 2006 (In collaborazione con P. Forcheri) |
| [CIR-2006b] | Paraconsistent Arithmetic with a Local Consistency Operator and Global Selfreference, Proceedings of ''Logic, Model Computer Science 2006'' (LMCS06), Aprile 2006, Camerino |
| [CIR-2004b] | Semantiche Inferenziali per la Teoria dei Tipi e possibili applicazioni alla Teoria del Significato e alle teorie della Mente, ''SIFA Conference: Analytic Philosophy and European Culture'', Genova, Settembre 2004, Volume of Abstracts, p 37 |
| [CIR-2004c] | ] Critical Deduction Chains and Inferential Models for Type Theory. Comunicazione al ''Logic Colloquium 2004, ASL European Summer Meeting'', Torino, Luglio 2004, Book of Abstracts, p 81, anche stampato sul <<Bulletin of Symbolic Logic>>, Association for Symbolic Logic ed. (In collaborazione con M. Martelli) |
| [CIR-2003c] | Can a Nash Equilibrium be Known? in LGS3 Extended Abstracts, S. Vannucci ed., University of Siena, Siena, 2003, ISBN 88-85331-37-8, pp 193-204 (In collaborazione con C. Benassi) |
| [CIR-2002a] | Paraconsistent Informational Logic, in Paraconsistent Logic, J. Marcos.-D. Batens-W.A. Carnielli eds., Corso C41-ESSLLI 2002, ''14th European Summer School in Logic, Language, Information'', Trento, Agosto 2002. Atti di ''WOPALO: Workshop on Paraconsistent Logic'', in quanto parte di ESSLLI 2002 (In collaborazione con P. Forcheri) |
| [CIR-1999e] | Common Knowledge and Common Rationality through Provability Logic, in Position papers and tutorials of the International Conference on Logic, Game Theory and Social Choice (LGS 99), H. de Swart ed., Faculty of Philosophy-Tilburg University, Tilburg, 3-1999, pp 1-21 (In collaborazione con C. Benassi) |
| [CIR-1995a] | ] P.Gentilini, Informational Proof-Theory, contributo al ''10° International Congress of Logic, Methodology and Philosophy of Science'' (LMPS 1995), Agosto 1995, Firenze, Volume of Abstracts, p 47 |
| [CFI-2003d] | Paraconsistent provability logic and rational epistemic agents, ''III World Congress on Paraconsistency'' (WCP3), Toulouse 28-31 Luglio 2003 (In collaborazione con C. Benassi) |
| [LN-1990a] | Teoremi di Completezza Aritmetica della Logica Modale: una trattazione sintattica, Tesi di Dottorato di Ricerca in Matematica, Genova, 1990 |
| [RN-2008i] | A Paraconsistent Logical Framework for Communicating Agents and Interactive Proofs, Pubblicazioni IMATI-CNR, n. 5/2008, ISSN 1722-8964, Genova, 2008 (In collaborazione con P. Forcheri) |
| [RN-2008d] | Proof Theory and Mathematical Meaning of Paraconsistent C-Systems II: arithmetical semantics, preprint, Genova, febbraio 2008 |
| [RN-2008c] | Proof Theory and Mathematical Meaning of Paraconsistent C-Systems I: syntax, preprint, Genova, febbraio 2008 |
| [RN-2002g] | Abstract Deduction and Inferential Models for Type Theory, <<Rapporti Tecnici del Dipartimento di Informatica e Scienze dell'Informazione>>, DISI-TR-02-05, Università di Genova, Genova, Giugno 2002 (In collaborazione con M. Martelli) |
| [RN-1999g] | Common Knowledge and Common Rationality through Provability Logic, <<Collana di Teoria Economica >>, n.350, Dipartimento di Scienze Economiche dell'Università di Bologna, Bologna, Marzo 1999 (In collaborazione con C. Benassi) |
| [RN-1997b] | Rational Economic Agents as formal logical systems, <<Collana di Teoria Economica>>, n.279, Dipartimento di Scienze Economiche dell'Universitàdi Bologna, Bologna, Aprile 1997 (In collaborazione con C. Benassi) |
| [RN-1996d] | Computational Entropy and Algebraic Theories, <<Pubblicazioni dell' Istituto di Matematica Applicata del CNR>>, n.1,Genova, 1996 (In collaborazione con P. Forcheri, M.T. Molfino) |
| [RN-1994a] | Informational Proof-Theory, <<Pubblicazioni dell'Istituto di Matematica Applicata del CNR>>, n.13,Genova, 1994 |
| [RN-1991a] | Un dimostratore automatico per Teorie Universali immergibili nell' Aritmetica Ricorsiva Primitiva estesa agli interi PRA(Z) <<Rapporti tecnici IMA-CNR>> 7/91, 23-5-1991, Genova (In collaborazione con P. Forcheri, M.T. Molfino, L. Necitailova) |
| [CN-2011h] | Introduzione di una logica paraconsistente costruttiva e dei sistemi aritmetici su essa basati, XIX Congresso dell'Unione Matematica Italiana (UMI), Bologna, 12-17 Settembre 2011 |
| [CN-2011e] | A new semantics for predicate logic: characterizing First Order Logic through constructive models for Type Theory, Convegno Nazionale AILA-XXIV Incontro di Logica, Bologna, 2-4 Febbraio 2011. (In collaborazione con M. Martelli) |
| [CN-2008a] | A constructive semantics for paraconsistent logic, Convegno Nazionale AILA (Associazione Italiana di Logica e Applicazioni), Genova, Febbraio 2008 |
| [CN-2005g] | Teoria dei Tipi e Logica di Ordine Superiore, Seminario al Dipartimento di Scienze dell'Informazione dell'Università di Milano, su invito del prof. S. Ghilardi, ordinario di Logica presso la stessa Università, Milano, Aprile 2005 |
| [CN-2005f] | Distinzione formale tra valore di verità e significato nell'ambito delle semantiche inferenziali per la Teoria dei Tipi, comunicazione al Congresso Nazionale di Logica, Pisa, Febbraio 2005 (In collaborazione con M. Martelli) |
| [CN-2000b] | Proof-Theoretic Axiomatization of Nash Equilibrium, comunicazione al Congresso Nazionale di Logica, Ravello, Settembre 2000 (In collaborazione con C. Benassi) |
| [CN-1999h] | Rappresentazione delle nozioni di conoscenza comune e razionalità comune tramite la teoria della dimostrazione, comunicazione al Congresso Nazionale di Logica, Udine, Ottobre 1999 (In collaborazione con C. Benassi) |
| [CN-1997c] | ] Formalizzazione Logica della Microeconomia e basi per una Rappresentazione matematica della conoscenza, comunicazione al Congresso Nazionale di Logica, Perugia, Novembre 1997 (In collaborazione con C. Benassi) |
| [CN-1997d] | A Logical Interpretation of the Competitive Equilibrium, Seminario presso IMA-CNR, Genova, Giugno 1997 (In collaborazione con C. Benassi) |
| [CN-1997e] | Informational Conjectural Provability Logic and Metainduction Rules, Seminario presso IMA-CNR, Genova, Giugno 1997 |
| [CN-1996e] | Informational Logic: nozione sintattica di probabilità, Provability Logic per congetture formali, basi per la rappresentazione matematica della conoscenza, comunicazione al Congresso Nazionale di Logica, Genova, Novembre 1996 |
| [CN-1996f] | Automated Inductive Inference Based on Computational Information Measures, Seminario presso IMA-CNR, Genova, 1996 (In collaborazione con P. Forcheri, M.T. Molfino) |
| [CN-1992b] | Presentazione sintattica della completezza aritmetica della logica modale, comunicazione al Congresso Nazionale di Logica, Camerino, Aprile 1992; Vol. VIII Atti degli Incontri di Logica Matematica pp 59-63, a cura dell'AILA (Associazione Italiana di Logica e Applicazioni) |
| [CN-1989a] | Osservazioni sul Teorema di Solovay nell'ambito della formulazione alla Gentzen dell'Aritmetica, comunicazione al Congresso Nazionale di Logica, Siena, Maggio 1989; Vol. VI Atti degli Incontri di Logica Matematica pp 87-90, a cura dell'AILA (Associazione Italiana di Logica e Applicazioni) |