Francesco Ciraulo

According to our database, Francesco Ciraulo authored at least 18 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Overlap Algebras as Almost Discrete Locales.

Francesco Ciraulo

Log. Methods Comput. Sci., 2023

2022

σ-locales in Formal Topology.

Francesco Ciraulo

Log. Methods Comput. Sci., 2022

2021

Factorizing the $\mathbf {Top}$-$\mathbf {Loc}$ adjunction through positive topologies.

Francesco Ciraulo, Tatsuji Kawai, Samuele Maschio

Arch. Math. Log., 2021

2020

Overlap Algebras: a Constructive Look at Complete Boolean Algebras.

Francesco Ciraulo, Michele Contente

Log. Methods Comput. Sci., 2020

2019

Reducibility, a constructive dual of spatiality.

Francesco Ciraulo, Giovanni Sambin

J. Log. Anal., 2019

2018

Factorizing the Top-Loc adjunction through positive topologies.

Francesco Ciraulo, Tatsuji Kawai, Samuele Maschio

CoRR, 2018

σ-locales and Booleanization in Formal Topology.

Francesco Ciraulo

CoRR, 2018

Embedding locales and formal topologies into positive topologies.

Francesco Ciraulo, Giovanni Sambin

Arch. Math. Log., 2018

Eating Pizza to learn fractions.

Ombretta Gaggi, Francesco Ciraulo, Marco Casagrande

Proceedings of the 4th EAI International Conference on Smart Objects and Technologies for Social Good, 2018

2016

Positivity relations on a locale.

Francesco Ciraulo, Steven Vickers

Ann. Pure Appl. Log., 2016

2013

Convergence in formal topology: a unifying notion.

Francesco Ciraulo, Maria Emilia Maietti, Giovanni Sambin

J. Log. Anal., 2013

Constructive version of Boolean algebra.

Francesco Ciraulo, Maria Emilia Maietti, Paola Toto

Log. J. IGPL, 2013

Regular opens in constructive topology and a representation theorem for overlap algebras.

Francesco Ciraulo

Ann. Pure Appl. Log., 2013

2012

A constructive Galois connection between closure and interior.

Francesco Ciraulo, Giovanni Sambin

J. Symb. Log., 2012

A constructive investigation of satisfiability.

Francesco Ciraulo

Ann. Pure Appl. Log., 2012

2008

Finitary formal topologies and Stone's representation theorem.

Francesco Ciraulo, Giovanni Sambin

Theor. Comput. Sci., 2008

A constructive semantics for non-deducibility.

Francesco Ciraulo

Math. Log. Q., 2008

2007

Finiteness in a Minimalist Foundation.

Francesco Ciraulo, Giovanni Sambin

Proceedings of the Types for Proofs and Programs, International Conference, 2007