SAMBIN, GIOVANNI
SAMBIN, GIOVANNI
A constructive Galois connection between closure and interior
2012 Ciraulo, Francesco; Sambin, Giovanni
A modal sequent calculus for a fragment of arithmetic
1980 Sambin, Giovanni; Valentini, Silvio
A new proof of Sahlqvist's theorem on modal definability and completeness
1989 Sambin, Giovanni; V., Vaccaro
A preview of the basic picture: a new perspective in formal topology
1999 Sambin, Giovanni; S., Gebellato
An effective fixed-point theorem in intuitionistic diagonalizable algebras
1976 Sambin, Giovanni
An incomplete system of modal logic
1985 G., Boolos; Sambin, Giovanni
Aspetti topologici degli o-filtri (o-filtri II)
1973 Sambin, Giovanni
Basic logic: reflection, symmetry, visibility
2000 Sambin, Giovanni; Battilotti, Giulia; Faggian, C.
C for Constructivism. Beyond clichés
2017 Sambin, Giovanni
Constructive domain theory as a branch of intuitionistic pointfree topology
1996 Sambin, Giovanni; Valentini, Silvio; Virgili, P.
Convergence in formal topology: a unifying notion
2013 Ciraulo, Francesco; Maietti, MARIA EMILIA; Sambin, Giovanni
Costruttivismo, oltre i luoghi comuni
2017 Sambin, Giovanni
Editorial: Special issue on non-classical mathematics
2013 Běhounek, Libor; Restall, Greg; Sambin, Giovanni
Embedding locales and formal topologies into positive topologies
2018 Ciraulo, Francesco; Sambin, Giovanni
Finitary formal topologies and Stone's representation theorem
2008 Ciraulo, Francesco; Sambin, Giovanni
Fixed points through the finite model property
1978 Sambin, Giovanni
Formal topologies on the set of first order formulae
2000 Coquand, T. H.; Sadocco, S.; Sambin, Giovanni; Smith, J.
Formal topology and domains
2000 Sambin, Giovanni
From basic logic to quantum logics with cut-elimination
1998 Faggian, C.; Sambin, Giovanni
Inductively generated formal topologies
2003 Coquand, T.; Sambin, Giovanni; Smith, J.; Valentini, Silvio