CIRAULO FRANCESCO

Contacts
E-mail
035f5bd5d1d1520e5af12fce487fa09e
bring this page
with you
Structure Department of Mathematics
Telephone 0498271357
Qualification Professore associato confermato
Scientific sector MAT/01 - MATHEMATICAL LOGIC
University telephone book  Show
 

Office hours
Studio n.407, corridoio A-B, quarto piano, Torre Archimede (Dip. di Matematica), Via Trieste 63. Per appuntamenti si prega di contattare il docente via email.
(updated on 19/04/2017 13:09)

Proposals for thesis
Per il corso di laurea magistrale in Scienze della Formazione Primaria.
- Progettazione (e sperimentazione in classe) di percorsi didattici, preferibilmente sulla Geometria o la Probabilità, per la scuola primaria.
- Progettazione (e sperimentazione in classe) di attività per la scuola dell'infanzia che coinvolgano aspetti logico-matematici.
- Analisi della letteratura esistente su specifiche questioni di didattica della Geometria alla scuola primaria e/o comparazione di proposte didattiche sulla Matematica in Italia e all'estero.

Per i corsi di laurea (triennale e magistrale) in Matematica.
Argomenti, anche di ricerca, nei seguenti ambiti:
- Logica Matematica (soprattutto logica intuizionista);
- Topologia Pointfree (Topologia Formale / teoria dei Locale);
- Matematica Costruttiva (soprattutto teoria dei reticoli);
- (più raramente) matematiche complementari e didattica.

Curriculum Vitae
Vedi:

http://www.math.unipd.it/~ciraulo/

Lecturer's Curriculum (PDF): 035F5BD5D1D1520E5AF12FCE487FA09E.pdf

Research areas
Logica Matematica

Temi principali di ricerca: logica intuizionista, matematica costruttiva, topologia pointfree.

Publications
F. Ciraulo "σ-locales and Booleanization in Formal Topology" (submitted).

F. Ciraulo "Overlap Algebras as Almost Discrete Locales" (submitted).

F. Ciraulo - G. Sambin "Reducibility, a constructive dual of spatiality" (submitted).

F. Ciraulo - G. Sambin "Embedding locales and formal topologies into positive topologies", Archive for Mathematical Logic (2017).

F. Ciraulo - S. Vickers "Positivity relations on a locale", Annals of Pure and Applied Logic 167 (2016), pp. 806-819.

F. Ciraulo - D. Rinaldi - P. Schuster "Lindenbaum's Lemma via Open Induction", in R. Kahle and T. Strahm and T.Studer (eds.) "Advances in Proof Theory", Progress in Computer Science and Applied Logic 28, Birkhäuser Basel (2016).


F. Ciraulo "Intuitionistic Overlap Structures", Logic and Logical Philosophy 22 (2013), pp. 201-212.

F. Ciraulo - M. E. Maietti - G. Sambin "Convergence in Formal Topology: a unifying notion", Journal of Logic and Analysis 5:2 (2013), pp. 1-45.

F. Ciraulo - M. E. Maietti - P. Toto "Constructive version of Boolean algebra", Logic Journal of the IGPL 21 (2013), pp. 44-62.

F. Ciraulo "Regular opens in constructive topology and a representation theorem for overlap algebras", Annals of Pure and Applied Logic 164 (2013), pp. 421-436.

F. Ciraulo - G. Sambin "A constructive Galois connection between closure and interior", Journal of Symbolic Logic 77 (2012), pp. 1308-1324.

F. Ciraulo "A constructive investigation of satisfiability", Annals of Pure and Applied Logic 163 (2012), pp. 111-121.

F. Ciraulo "Sull'algebra degli insiemi in matematica intuizionista" in E. Ballo and C. Cellucci (eds.), "La ricerca logica in Italia. Studi in onore di Corrado Mangione", Quaderni di Acme 124, pp. 261-274, Cisalpino, Milano (2011).

F. Ciraulo - G. Sambin "The overlap algebra of regular opens", Journal of Pure and Applied Algebra 214 (2010), pp. 1988 -1995 (preprint version .pdf).

C.G. Bartolone - F. Ciraulo “A Class of Imprimitive Groups”, Algebra Colloquium 17 (2010), pp. 565-576.

F. Ciraulo “A constructive semantics for non-deducibility”, Mathematical Logic Quarterly 54 (2008), pp. 35–48.

F. Ciraulo - G. Sambin “Finiteness in a Minimalist Foundation”, Lecture Notes in Computer Science 4941 (2008), pp. 51–68.

F. Ciraulo - G. Sambin “Finitary Formal Topologies and Stone’s Representation Theorem”, Theoretical Computer Science 405 (2008), 11-23.

F. Ciraulo "Soddisfacibilità costruttiva", La Matematica nella Società e nella Cultura, Rivista dell'Unione Matematica Italiana, Serie I, Vol. I, pp. 275-278 (2008).

List of taught course units in A.Y. 2018/19
Degree course code (?) Degree course track Course unit code Course unit name Credits Year Period Lang. Teacher in charge
SC1159 COMMON SCL1000444 6 2nd Year Second
semester
ITA CINZIA BONOTTO
IA1870 001PD SUP3050724 9 3rd Year First
semester
ITA FRANCESCO CIRAULO
SC1172 010PD SC02119739 6 1st Year Second
semester
ITA FRANCESCO CIRAULO