Failure and invention are inseparable twins.
To invent you have to experiment;
and if you know in advance that it's going to work,
it's not an experiment.
(Jeff Bezos)

    Francesco Ciraulo

Research field: Mathematical Logic    

Main topics: intuitionistic logic, constructive mathematics, formal topology.    


Conference Presentations:

  • "Equazioni booleane e matematizzazione... nell'isola di Smullyan", convegno "Educare alla razionalità", Torino, 22-23 maggio 2019.
  • "Overtness and density for σ-locales" at "CCC 2018", Faro, Portugal, September 24-28, 2018.
  • "σ-locales and Booleanization in Formal Topology" at "CCC 2017", Nancy, France, June 26-30 2017.
  • "Boolean locales: a constructive analog" at the "Logic Colloquium 2013", Évora, Portugal, July 22-27 2013.
  • "The overlap relation in intuitionistic lattice theory" at the "XXIV Incontro di Logica", Bologna, Italy, 2-4 February 2011.
  • "La logica del gioco" at "Quale Logica per la Didattica", Verona, Italy, 23-25 October 2009. 
  • "Satisfiability and Consistency from a constructive point of view" at the "XXIII Incontro di Logica", Genova, Italy, 20-23 February 2008.
  • “A constructive treatment of satisfiability (with an application to tense logic)” at the "3rd Workshop on Formal Topology”, Padua, Italy, 7-12 May 2007.
  • “A constructive semantical treatment of LJ-non-deducibility” at “Trends in Constructive Mathematics”, Frauenwörth, Germany, 19-23 June 2006.


Publications