Convergence in formal topology: a unifying notion F Ciraulo, ME Maietti, G Sambin arXiv preprint arXiv:1211.0720, 2012 | 33 | 2012 |
The overlap algebra of regular opens F Ciraulo, G Sambin Journal of pure and applied algebra 214 (11), 1988-1995, 2010 | 22 | 2010 |
Finitary formal topologies and Stone’s representation theorem F Ciraulo, G Sambin Theoretical Computer Science 405 (1-2), 11-23, 2008 | 21 | 2008 |
Eating Pizza to learn fractions O Gaggi, F Ciraulo, M Casagrande Proceedings of the 4th EAI International Conference on Smart Objects and …, 2018 | 12 | 2018 |
Embedding locales and formal topologies into positive topologies F Ciraulo, G Sambin Archive for Mathematical Logic 57 (7), 755-768, 2018 | 9 | 2018 |
Lindenbaum’s lemma via open induction F Ciraulo, D Rinaldi, P Schuster Advances in Proof Theory, 65-77, 2016 | 9 | 2016 |
Constructive version of Boolean algebra F Ciraulo, ME Maietti, P Toto Logic Journal of the IGPL 21 (1), 44-62, 2013 | 8 | 2013 |
Finiteness in a minimalist foundation F Ciraulo, G Sambin Types for Proofs and Programs: International Conference, TYPES 2007 …, 2008 | 8 | 2008 |
Overlap algebras: a constructive look at complete Boolean algebras F Ciraulo, M Contente Logical Methods in Computer Science 16, 2020 | 7 | 2020 |
Regular opens in constructive topology and a representation theorem for overlap algebras F Ciraulo Annals of Pure and Applied Logic 164 (4), 421-436, 2013 | 7 | 2013 |
Reducibility, a constructive dual of spatiality F Ciraulo, G Sambin Journal of Logic and Analysis 11, 2019 | 6 | 2019 |
Positivity relations on a locale F Ciraulo, S Vickers Annals of Pure and Applied Logic 167 (9), 806-819, 2016 | 6 | 2016 |
A constructive Galois connection between closure and interior F Ciraulo, G Sambin The Journal of Symbolic Logic 77 (4), 1308-1324, 2012 | 6 | 2012 |
Overlap algebras as almost discrete locales F Ciraulo Logical Methods in Computer Science 19, 2023 | 3 | 2023 |
Solving knights-and-knaves with one equation F Ciraulo, S Maschio The College Mathematics Journal 51 (2), 82-89, 2020 | 3 | 2020 |
Constructive satisfiability F Ciraulo, V Kanev, CG Bartolone PhD thesis, Università di Palermo, 2007 | 3 | 2007 |
Intuitionistic overlap structures F Ciraulo Logic and Logical Philosophy 22 (2), 201–212-201–212, 2013 | 2 | 2013 |
A constructive semantics for non‐deducibility F Ciraulo Mathematical Logic Quarterly 54 (1), 35-48, 2008 | 2 | 2008 |
Subspaces in Pointfree Topology: Towards a New Approach to Measure Theory F Ciraulo Handbook of Constructive Mathematics 185, 426, 2023 | 1 | 2023 |
A constructive investigation of satisfiability F Ciraulo Annals of Pure and Applied Logic 163 (2), 111-121, 2012 | 1 | 2012 |