Background
1998: School-leaving Certificate in
Scientific Studies, Recco
(Italy), final note 60/60.
2003: B.A. in Philosophy, University of Genoa (Italy), final note
110/110 cum laude, January 15.
2005: Abilitazione SSIS (classe A037), University of Genoa (Italy),
final note 79/80, May 12.
2007: Scuola Estiva di Logica, Gargnano del Garda (Italy), August 26 -
September 1.
2007-2009: Ph.D. Student in Philosophy at the Department of Philosophy,
University of Genoa (Italy).
2007-2008: Visiting at the Department of Logic, History and Philosophy
of Science of the University of Barcelona (Spain), September 15 - June
15.
2008: Scuola Estiva di Logica, Gargnano del Garda (Italy), August 31 -
September 6.
2008-2009: Visiting at the Department of Logic, History and Philosophy
of Science of the University of Barcelona (Spain), October 1 - June 30
and September 21 - December 21.
2010: Ph.D. in Philosophy, University of Genoa (Italy) and University
of Barcelona (Spain), Cognitive
Science and Language Program, March 12.
Title of the dissertation:
An algebraic study of bilattice-based
logics.
Research interests
Algebraic Logic :: Many-valued logic :: Universal Algebra :: Logics
for A. I. :: Philosophy of
Mathematics
Publications
- (2005) "Logiche
polivalenti per
l’Intelligenza Artificiale: il sistema di
Ginsberg", Epistemologia,Rivista
italiana di Filosofia della Scienza, XXVIII (2005), pp. 25-44.
- (2008) "Contextual Bilattices", Proceedings
of
the
the
Doctoral
Consortium
of
the
Sixth
International
and Interdisciplinary Conference
on Modelling and Using Context, Roskilde University, Denmark, 20-24
August 2007.
- (2008) "Neutrosophic Logics:
Prospects and Problems", Fuzzy Sets
and Systems, vol. 159/14
(2008). pp. 1860-1868.
- (2009) “What is Abstract Algebraic
Logic?”, Epistemologia, Rivista
italiana di Filosofia della Scienza, XXXII (2009), pp. 173-196.
- (2010) "A Bilattice for Contextual
Reasoning", in M. D’Agostino and C. Sinigaglia (eds.), Selected
Proceedings of the International Conference SILFS 2007, College
Publications, London, in press.
- (201x, with F.Bou) “The Logic of
Distributive Bilattices”, Logic
Journal of the IGPL, (forthcoming).
- (with F. Bou and R. Jansana)
“Varieties of Interlaced Bilattices”, Algebra
Universalis, (accepted).
Back
Conferences and Seminars
- 2007
- "Un approccio uniforme all'inferenza in Intelligenza Artificiale", Meeting
n.
1
GESCO
(GEnova
Scienze
COgnitive),
Genova
(Italy), June 12
, 2007.
- "A bilattice for contextual reasoning ", SILFS International Conference 2007,
Milano
(Italy),
October
8,
2007.
- 2008
- "Logical bilattices", XXIII Incontro di Logica, Associazione Italiana
di Logica e sue Applicazioni, Genova (Italy), 20-23 February 2008.
- "Neutrosophic Logics", Logos
Graduate Reading Group, University of Barcelona, Barcelona
(Spain), 15 - 22 April 2008.
- "The Logic of Logical Bilattices", Non-classical
Logics
Seminar, University of Barcelona, Barcelona
(Spain), 3 June 2008.
- "Logiche polivalenti", Seminario
congiunto SUM – Coordinamento Nazionale Dottorati di Ricerca in
Filosofia, Firenze (Italy), 12 June 2008.
- "Bilattices for Contextual Reasoning", Meeting n. 2 GESCO (GEnovaScienzeCOgnitive),
Genova
(Italy), 1 July 2008.
- "Logical Bilattices", Logic,
Algebra and Truth Degrees, Siena (Italy), 8-11 September 2008.
- 2009
- "Logical Bilattices: Adding Implications", Non-classical Logics Seminar,
University of Barcelona, Barcelona
(Spain), 11 June 2009.
- 2010
- “Implicative Bilattices”, UNILOG
2010, 3rd World Congress and School on Universal Logic, Lisbon
(Portugal), 24 April.
- “Varieties of Interlaced Bilattices”, Non-classical Logics Seminar,
University of Barcelona, Barcelona (Spain), 19 May.
- “On the Representation of Interlaced Bilattices”, CLOG Seminar, University of
Leicester, Leicester (UK), 1 July.
- “Bilattices: an algebraic (logic) perspective”, School of Computer
Science Seminar, University of Birmingham, Birmingham (UK), 2 July.
- “Varieties of Interlaced Bilattices”, Logic, Algebra and Truth Degrees 2010,
Prague
(Czech
Republic),
7-11
September.
- “Extensions of the Belnap-Dunn logic”, Non-classical Logics Seminar,
University of Barcelona, Barcelona (Spain), 11 November.
Back
Teaching Activities
- 2005/2006
- High School Teacher in Istituto Superiore Statale "A. Cairoli", Pavia
(Italy).
- 2006/2007
- Seminario (7 ore) su "Logica e senso comune" tenuto nell'ambito del
corso di Filosofia della Scienza,
Facoltà
di
Lettere
e
Filosofia,
Università
di
Genova;
laurea
magistrale
in
"Metodologie filosofiche" (Genova, 16, 23, 28
marzo 2007).
- Seminario (6 ore) su "Logiche polivanenti" tenuto nell'ambito del
corso di Logica Matematica,
Facoltà
di Lettere e Filosofia, Università di Genova; laurea triennale
in "Filosofia" (Genova, 20, 27 aprile, 11 maggio 2007).
- 2007/2008
- Seminario (7 ore) su "Geometrie non euclidee" tenuto nell'ambito del
corso di Filosofia della Scienza,
Facoltà
di
Lettere
e
Filosofia,
Università
di
Genova;
laurea
magistrale
in
"Filosofia della Scienza" (Genova, 26, 27, 29
marzo 2008).
Back
Research Projects
-
2007-2009: PRIN (Progetto di Rilevante Interesse Nazionale)
of the Italian Ministry of Education. Title "Conoscenza di sé,
dell'altro, del mondo: presupposti,
relazioni,
implicazioni". Principal investigator: Diego Marconi (Università di
Torino). Local unity: Carlo Penco (Università di Genova).
Back