Francesco Ciraulo

20 papers Journal 18Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Kuratowski's problem in constructive Topology.
J. Log. Anal.
Francesco Ciraulo
2023 J jnl
Overlap Algebras as Almost Discrete Locales.
Log. Methods Comput. Sci.
Francesco Ciraulo
2022 J jnl
σ-locales in Formal Topology.
Log. Methods Comput. Sci.
Francesco Ciraulo
2021 J jnl
Factorizing the $\mathbf {Top}$-$\mathbf {Loc}$ adjunction through positive topologies.
Arch. Math. Log.
Francesco Ciraulo, Tatsuji Kawai, Samuele Maschio
2020 J jnl
Overlap Algebras: a Constructive Look at Complete Boolean Algebras.
Log. Methods Comput. Sci.
Francesco Ciraulo, Michele Contente
2019 J jnl
Overlap Algebras: a constructive look at complete Boolean algebras.
CoRR
Francesco Ciraulo, Michele Contente
2019 J jnl
Reducibility, a constructive dual of spatiality.
J. Log. Anal.
Francesco Ciraulo, Giovanni Sambin
2018 — conf
Eating Pizza to learn fractions.
GOODTECHS
Ombretta Gaggi, Francesco Ciraulo, Marco Casagrande
2018 J jnl
Embedding locales and formal topologies into positive topologies.
Arch. Math. Log.
Francesco Ciraulo, Giovanni Sambin
2018 J jnl
Factorizing the Top-Loc adjunction through positive topologies.
CoRR
Francesco Ciraulo, Tatsuji Kawai, Samuele Maschio
2018 J jnl
σ-locales and Booleanization in Formal Topology.
CoRR
Francesco Ciraulo
2016 J jnl
Positivity relations on a locale.
Ann. Pure Appl. Log.
Francesco Ciraulo, Steven Vickers
2013 J jnl
Constructive version of Boolean algebra.
Log. J. IGPL
Francesco Ciraulo, Maria Emilia Maietti, Paola Toto
2013 J jnl
Convergence in formal topology: a unifying notion.
J. Log. Anal.
Francesco Ciraulo, Maria Emilia Maietti, Giovanni Sambin
2013 J jnl
Regular opens in constructive topology and a representation theorem for overlap algebras.
Ann. Pure Appl. Log.
Francesco Ciraulo
2012 J jnl
A constructive Galois connection between closure and interior.
J. Symb. Log.
Francesco Ciraulo, Giovanni Sambin
2012 J jnl
A constructive investigation of satisfiability.
Ann. Pure Appl. Log.
Francesco Ciraulo
2008 J jnl
A constructive semantics for non-deducibility.
Math. Log. Q.
Francesco Ciraulo
2008 J jnl
Finitary formal topologies and Stone's representation theorem.
Theor. Comput. Sci.
Francesco Ciraulo, Giovanni Sambin
2007 — conf
Finiteness in a Minimalist Foundation.
TYPES
Francesco Ciraulo, Giovanni Sambin