Concepedia

Francesco Ciraulo

FC

8

Publications

233

Citations

8

H-Index

2008

Active since

Affiliations

University of Padua(Current)

University of Palermo

Francesco Ciraulo is an author at University of Padua specializing in automated reasoning, fuzzy logic, and architectural design.

Top concepts

Automated ReasoningLearningEducationNutritionEngineeringFuzzy LogicGame DesignSocial SciencesComputer ScienceCognitive Science

Publications per year

2008–2025

8

Publications

8

Convergence in formal topology: a unifying notion

Francesco Ciraulo, Maria Emilia Maietti, Giovanni Sambin · Journal of Logic and Analysis · 2013 · 47 citations · Full text

The overlap algebra of regular opens

Francesco Ciraulo, Giovanni Sambin · Journal of Pure and Applied Algebra · 2010 · 41 citations · Full text

Topological Property, Overlap Algebra, Universal Algebra +1

Finitary formal topologies and Stone’s representation theorem

Francesco Ciraulo, Giovanni Sambin · Theoretical Computer Science · 2008 · 37 citations

Topological Property, Finitary Formal Topologies, Set-theoretic Topology

Embedding locales and formal topologies into positive topologies

Francesco Ciraulo, Giovanni Sambin · Archive for Mathematical Logic · 2017 · 28 citations · Full text

Architectural Design, Automated Reasoning, Set-theoretic Topology +3

Constructive version of Boolean algebra

Francesco Ciraulo, Maria Emilia Maietti, Paola Toto · Logic Journal of IGPL · 2012 · 27 citations

Algebraic Logic, Constructive Mathematics, Fuzzy Logic +13

Rows per page

1–5 of 8