Giovanni Sambin

Publication Activity (10 Years)

Years Active: 1980-2020
Publications (10 Years): 6

Top Topics

Convergence Theorem

Formal Concepts

Multiresolution

Information Bottleneck

Top Venues

Ann. Pure Appl. Log.

Fundam. Informaticae

Publications

Samuele Maschio, Giovanni Sambin
Topology as Faithful Communication Through Relations. Fundam. Informaticae 176 (1) (2020)
Tatsuji Kawai, Giovanni Sambin
The principle of pointfree continuity. Log. Methods Comput. Sci. 15 (1) (2019)
Francesco Ciraulo, Giovanni Sambin
Reducibility, a constructive dual of spatiality. J. Log. Anal. 11 (2019)
Francesco Ciraulo, Giovanni Sambin
Embedding locales and formal topologies into positive topologies. Arch. Math. Log. 57 (7-8) (2018)
Tatsuji Kawai, Giovanni Sambin
The principle of point-free continuity. CoRR (2018)
Thierry Coquand, Maria Emilia Maietti, Giovanni Sambin, Peter Schuster
Preface. Ann. Pure Appl. Log. 167 (9) (2016)
Francesco Ciraulo, Maria Emilia Maietti, Giovanni Sambin
Convergence in formal topology: a unifying notion. J. Log. Anal. 5 (2013)
Libor Behounek, Greg Restall, Giovanni Sambin
Editorial: Special issue on non-classical mathematics. Log. J. IGPL 21 (1) (2013)
Andrej Bauer, Thierry Coquand, Giovanni Sambin, Peter M. Schuster
Preface. Ann. Pure Appl. Log. 163 (2) (2012)
Francesco Ciraulo, Giovanni Sambin
A constructive Galois connection between closure and interior. J. Symb. Log. 77 (4) (2012)
Andrea Asperti, Maria Emilia Maietti, Claudio Sacerdoti Coen, Giovanni Sambin, Silvio Valentini
Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita. Calculemus/MKM (2011)
Francesco Ciraulo, Giovanni Sambin
Finitary formal topologies and Stone's representation theorem. Theor. Comput. Sci. 405 (1-2) (2008)
Giovanni Sambin
Doing Without Turing Machines: Constructivism and Formal Topology. CiE (2007)
Francesco Ciraulo, Giovanni Sambin
Finiteness in a Minimalist Foundation. TYPES (2007)
Bernhard Banaschewski, Thierry Coquand, Giovanni Sambin
Preface. Ann. Pure Appl. Log. 137 (1-3) (2006)
Giulia Battilotti, Giovanni Sambin
Pretopologies and a uniform presentation of sup-lattices, quantales and frames. Ann. Pure Appl. Log. 137 (1-3) (2006)
Giovanni Sambin, Giorgio Trentinaglia
On the Meaning of Positivity Relations for Regular Formal Spaces. J. Univers. Comput. Sci. 11 (12) (2005)
Giovanni Sambin
Some points in formal topology. Theor. Comput. Sci. 305 (1-3) (2003)
Thierry Coquand, Giovanni Sambin, Jan M. Smith, Silvio Valentini
Inductively generated formal topologies. Ann. Pure Appl. Log. 124 (1-3) (2003)
Giovanni Sambin, Giulia Battilotti, Claudia Faggian
Basic Logic: Reflection, Symmetry, Visibility. J. Symb. Log. 65 (3) (2000)
Thierry Coquand, Sara Sadocco, Giovanni Sambin, Jan M. Smith
Formal Topologies on The Set of First-Order Formulae. J. Symb. Log. 65 (3) (2000)
Giovanni Sambin
Formal topology and domains. Electron. Notes Theor. Comput. Sci. 35 (2000)
Giovanni Sambin
Subdirectly Irreducible Modal Algebras and Initial Frames. Stud Logica 62 (2) (1999)
Giovanni Sambin, Silvia Gebellato
A Preview of the Basic Picture: A New Perspective on Formal Topology. TYPES (1998)
Giovanni Sambin, Silvio Valentini, Paolo Virgili
Constructive Domain Theory as a Branch of Intuitionistic Pointfree Topology. Theor. Comput. Sci. 159 (2) (1996)
Giovanni Sambin
Pretopologies and Completeness Proofs. J. Symb. Log. 60 (3) (1995)
Giovanni Sambin, Silvio Valentini
Building up a Tool-Box for Matrin-Löf's Type Theory (Abstract). Kurt Gödel Colloquium (1993)
George Boolos, Giovanni Sambin
Provability: the emergence of a mathematical modality. Stud Logica 50 (1) (1991)
Giovanni Sambin, Virginia Vaccaro
A New Proof of Sahlqvist's Theorem on Modal Definability and Completeness. J. Symb. Log. 54 (3) (1989)
Giovanni Sambin, Virginia Vaccaro
Topology and duality in modal logic. Ann. Pure Appl. Log. 37 (3) (1988)
George Boolos, Giovanni Sambin
An incomplete system of modal logic. J. Philos. Log. 14 (4) (1985)
Giovanni Sambin, Silvio Valentini
The modal logic of provability. The sequential approach. J. Philos. Log. 11 (3) (1982)
Giovanni Sambin, Silvio Valentini
Post Completeness and Free Algebras. Math. Log. Q. 26 (22-24) (1980)