Umberto Rivieccio


Contact details

School of Computer Science
University of Birmingham
Edgbaston
Birmingham, B15 2TT
United Kingdom

E-mail: u.rivieccio [at] cs.bham.ac.uk


Positions

November 2011-October 2013: Marie Curie IEF Fellow at the School of Computer Science of the University of Birmingham, UK.  Title of the IEF research project:Bilattices meet d-frames
2011 (April-October): Postdoctoral researcher at Ono Lab, Research Center for Integrated Science, JAIST (Japan Advanced Institute of Science and Technology, Japan).
2011 (January-March): Visiting researcher at the School of Computer Science of University of Birmingham, UK (Bridging the Gap EPSRC Project).

Background

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 logicsPDF
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.Research interests
2008: Scuola Estiva di Logica, Gargnano del Garda (Italy), August 31 - September 6.
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.
2007: Scuola Estiva di Logica, Gargnano del Garda (Italy), August 26 - September 1.
2005: Abilitazione SSIS (classe A037), University of Genoa (Italy), final note 79/80, May 12.
2003: B.A. in Philosophy, University of Genoa (Italy), final note 110/110 cum laude, January 15.
1998: School-leaving Certificate in Scientific Studies, Recco (Italy), final note 60/60.


Algebraic Logic :: Many-valued logic :: Universal Algebra :: Logics for A. I. :: Philosophy of Mathematics

Back

Publications

  • 201x
    - “Implicative twist-structures”, to appear on Algebra Universalis.PDF
    - (with H. Ono) “Modal twist-structures over residuated lattices”, to appear on the Logic Journal of the IGPL.PDF
    - (with R. Jansana) “Priestley duality for N4-lattices”, to appear in Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2013).PDF
  • 2013
    - (with A. Jung), “Kripke semantics for modal bilattice logic” (extended abstract), Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press, pp. 438-447, 2013.PDF
    - (with A. Pietz), “Nothing but the truth”, Journal of Philosophical Logic, 42, 1 (2013), p. 125-135..PDF
    - (with F. Bou), “Bilattices with implications”, Studia Logica, 101, 4 (2013), p. 651-675.PDF
    - “Representation of interlaced trilattices”, Journal of Applied Logic, 2013, 11, 2 (2013), p. 174-189. PDF
  • 2012
    - “An infinity of super-Belnap logics”, Journal of Applied Non-Classical Logics, 22, 4 (2012), p. 319-335.PDF
    - (with A. Jung), “Priestley Duality for Bilattices”, Studia Logica, 100, 1-2 (2012), p. 223-252.PDF
    - (with R. Jansana), “Residuated Bilattices”, Soft Computing, 16 (3), 2012, p. 493-504.PDF
  • 2011
    - “Paraconsistent modal logics”, Electronic Notes in Theoretical Computer Science, 278 (2011), p. 173-186.PDF
    - (with F. Bou and R. Jansana) “Varieties of Interlaced Bilattices”, Algebra Universalis, 66 (1-2), 2011, p. 115-141.PDF
    - (with F. Bou) “The Logic of Distributive Bilattices”, Logic Journal of the IGPL, 19 (1), 2011, p. 183-216.PDF
  • 2010
    - "A Bilattice for Contextual Reasoning", in M. D’Agostino, G. Giorello, F. Laudisa, T. Pievani, C. Sinigaglia (eds.), SILFS New Essays in Logic and Philosophy of Science, College Publications, London, p. 3-12.PDF
  • 2009
    - “What is Abstract Algebraic Logic?”, Epistemologia, Rivista italiana di Filosofia della Scienza, XXXII (2009), pp. 173-196.PDF
    - 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.PDF
    - 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. 
  • 2005                                                                                                                                                           - "Logiche  polivalenti  per  l’Intelligenza  Artificiale: il  sistema  di  Ginsberg", Epistemologia, Rivista italiana di Filosofia della Scienza, XXVIII (2005), pp. 25-44.

Back

Conferences and Seminars

  • 2013
    - “Priestley duality for N4-lattices”, Eight conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2013), Milan (Italy), 12 September.
    - “Priestley duality for (modal) N4-lattices”, Sixth International Conference on Topology, Algebra, and Categories in Logic (TACL 2011), Nashville (USA), 30 July.
    - Four-valued modal logic: Kripke semantics and duality”, Sixth International Conference on Topology, Algebra, and Categories in Logic (TACL 2011), Nashville (USA), 30 July.
    - “On the minimum four-valued modal logic over the Belnap lattice”, Non-classical Logics Seminar, University of Barcelona, Barcelona (Spain), 22 May.
    - “On extensions of the Belnap-Dunn logic”, UNILOG 2013, 4th World Congress and School on Universal Logic, Rio de Janeiro (Brazil), 5 April.
  • 2012
    - “Implicative twist-structures”, Logic, Algebra and Truth Degrees 2012, Kanazawa (Japan), 10-14 September.
    - “Logics for partial and inconsistent information”, 15th Wessex Theory Seminar, University of Birmingham, Birmingham (UK), 19 July.
    - “Implicative twist-structures”, Workshop 1 on Duality Theory in Algebra, Logic and Computer Science, University of Oxford, Oxford (UK), 14 June.
    - “Twist-structures over residuated lattices”, Trends in Logic XI, Studia Logica International Conference, Bochum, Germany, 5 June.
    - “Bilattices with modal operators”, Algebra|Coalgebra Seminar, Institute for Logic, Language & Computation, University of Amsterdam, Amsterdam (Netherlands), 30 May.
    - “Bilattices with modal operators”, CLOG Seminar, University of Leicester, Leicester (UK), 23 February.
  • 2011
    - “Interlaced bilattices”, Analytic Topology in Mathematics and Computer Science Seminar, University of Oxford, Oxford (UK), 30 November.
    - “Paraconsistent modal logics”, Methods for Modalities 7, Osuna (Spain), 10 November. 
    - “Twist-structures over residuated lattices”, Seminari de Lògiques No Clàssiques, University of Barcelona, Barcelona (Spain), 14 October.
    - “Twist-structures over residuated lattices”, Logic Seminar, Research Center for Integrated Science, JAIST (Japan), 29 September.
    - “Twist-structures and modal logic”, Logic Seminar, Research Center for Integrated Science, JAIST (Japan), 30 June.
    - “Priestley Duality for Bilattices”, Fifth International Conference on Topology, Algebra, and Categories in Logic (TACL 2011), Marseilles, 29 July.
    - “Nothing but the Truth”, Seminario dottorandi, University of Genova, Genova, 21 July.                          - “Extensions of the Belnap-Dunn logic”, ACAN Workshop (Algebraic and Coalgebraic Approaches to Non-Classical Logics), University of Kyoto, Kyoto (Japan), 17 May.                                                         - “Extensions of the Belnap-Dunn logic”, Logic Seminar, Research Center for Integrated Science, JAIST (Japan), 12 May.                                                                                                                             - “Priestley duality for bilattices”, Theory Mathematical Lunch, University of Birmingham, Birmingham (UK), 18-25 February, 4 March.
  • 2010
    - “Extensions of the Belnap-Dunn logic”, Non-classical Logics Seminar, University of Barcelona, Barcelona (Spain), 11 November.
    - “Varieties of Interlaced Bilattices”, Logic, Algebra and Truth Degrees 2010, Prague (Czech Republic), 7-11 September. 
    - “Bilattices: an algebraic (logic) perspective”, School of Computer Science Seminar, University of Birmingham, Birmingham (UK), 2 July.
    - “On the Representation of Interlaced Bilattices”, CLOG Seminar, University of Leicester, Leicester (UK), 1 July.
    - “Varieties of Interlaced Bilattices”, Non-classical Logics Seminar, University of Barcelona, Barcelona (Spain), 19 May.
    - “Implicative Bilattices”, UNILOG 2010, 3rd World Congress and School on Universal Logic, Lisbon (Portugal), 24 April.
  • 2009
    - "Logical Bilattices: Adding Implications", Non-classical Logics Seminar, University of Barcelona, Barcelona (Spain), 11 June 2009.
  • 2008
    - "Logical Bilattices", Logic, Algebra and Truth Degrees, Siena (Italy), 8-11 September 2008.
    - "Bilattices for Contextual Reasoning", Meeting n. 2 GESCO (GEnovaScienzeCOgnitive), Genova  (Italy), 1 July 2008.
    - "Logiche polivalenti", Seminario congiunto SUM – Coordinamento Nazionale Dottorati di Ricerca in Filosofia, Firenze (Italy), 12 June 2008.
    - "The Logic of Logical Bilattices", Non-classical Logics Seminar, University of Barcelona, Barcelona (Spain), 3 June 2008.
    - "Neutrosophic Logics", Logos Graduate Reading Group, University of Barcelona, Barcelona (Spain), 15 - 22 April 2008.
    - "Logical bilattices", XXIII Incontro di Logica, Associazione Italiana di Logica e sue Applicazioni, Genova (Italy), 20-23 February 2008.
  • 2007
    -  "A bilattice for contextual reasoning ", SILFS International Conference 2007, Milano (Italy), October 8, 2007.
    - "Un approccio uniforme all'inferenza in Intelligenza Artificiale", Meeting n. 1 GESCO (GEnova Scienze COgnitive), Genova  (Italy), June 12 , 2007.
Back

Teaching Activities

  • 2013
    - Course on “From bilattices to d-frames” (jointly taught with Achim Jung) at ESSLLI 2013, Düsseldorf (Germany), 5-9 August 2013.
    - Demonstrator for the course of “Models of computation” taught by Paul B. Levy at the University of Birmingham (Spring term 2013).
  • 2007/2008
    - Short course (7 hours) on "Non-euclidean geometries" within the course of Filosofia della Scienza, Facoltà di Lettere e Filosofia, Università di Genova; laurea magistrale in "Filosofia della Scienza" (Genova, 26, 27, 29 March 2008).
  • 2006/2007
    - Short course (7 hours) on "Logic and common sense" within the course of Filosofia della Scienza, Facoltà di Lettere e Filosofia, Università di Genova; laurea magistrale in "Metodologie filosofiche" (Genova, 16, 23, 28 March 2007).
    - Short course (6 hours) on "Logiche polivanenti" within the course of Logica Matematica, Facoltà di Lettere e Filosofia, Università di Genova; laurea triennale in "Filosofia" (Genova, 20, 27 April, 11 May 2007).
  • 2005/2006
    - High School Teacher at the Istituto Superiore Statale "A. Cairoli", Pavia (Italy).
Back

 Research Projects

  • 2011-2013: Marie Curie IEF Fellowship at the School of Computer Science of the University of Birmingham, UK. Title of the research project: Bilattices meet d-framesHost researcher: Achim Jung.

  • 2011 (January-March): Bridging the Gap EPSRC Project at the School of Computer Science of the University of Birmingham. Host researcher: Achim Jung.

  • 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 (University of Torino, Italy). Local unity: Carlo Penco (University of Genoa, Italy).

Back

last update: december 2010