Giovanni Sambin

Fundam. Informaticae, 2020

2019

The principle of pointfree continuity.

[BibT_eX]

[DOI]

Tatsuji Kawai

Log. Methods Comput. Sci., 2019

Reducibility, a constructive dual of spatiality.

[BibT_eX]

[DOI]

J. Log. Anal., 2019

2018

The principle of point-free continuity.

[BibT_eX]

[DOI]

Tatsuji Kawai

CoRR, 2018

Embedding locales and formal topologies into positive topologies.

[BibT_eX]

[DOI]

Arch. Math. Log., 2018

2016

Preface.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2016

2013

Convergence in formal topology: a unifying notion.

[BibT_eX]

[DOI]

Maria Emilia Maietti

J. Log. Anal., 2013

Editorial: Special issue on non-classical mathematics.

[BibT_eX]

[DOI]

Libor Behounek

Greg Restall

Log. J. IGPL, 2013

2012

Real and Ideal in Constructive Mathematics.

[BibT_eX]

[DOI]

Proceedings of the Epistemology versus Ontology, 2012

A constructive Galois connection between closure and interior.

[BibT_eX]

[DOI]

J. Symb. Log., 2012

Preface.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2012

2011

Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita.

[BibT_eX]

[DOI]

Andrea Asperti

Maria Emilia Maietti

Claudio Sacerdoti Coen

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

2008

Finitary formal topologies and Stone's representation theorem.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

2007

Finiteness in a Minimalist Foundation.

[BibT_eX]

[DOI]

Proceedings of the Types for Proofs and Programs, International Conference, 2007

Doing Without Turing Machines: Constructivism and Formal Topology.

[BibT_eX]

[DOI]

Proceedings of the Computation and Logic in the Real World, 2007

2006

Pretopologies and a uniform presentation of sup-lattices, quantales and frames.

[BibT_eX]

[DOI]

Giulia Battilotti

Ann. Pure Appl. Log., 2006

Preface.

[BibT_eX]

[DOI]

Bernhard Banaschewski

Thierry Coquand

Ann. Pure Appl. Log., 2006

2005

On the Meaning of Positivity Relations for Regular Formal Spaces.

[BibT_eX]

[DOI]

Giorgio Trentinaglia

J. Univers. Comput. Sci., 2005

Toward a minimalistic foundation for constructive mathematics.

[BibT_eX]

Maria Emilia Maietti

Proceedings of the From sets and types to topology and analysis, 2005

2003

Some points in formal topology.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

Inductively generated formal topologies.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2003

2000

Basic Logic: Reflection, Symmetry, Visibility.

[BibT_eX]

[DOI]

Giulia Battilotti

Claudia Faggian

J. Symb. Log., 2000

Formal Topologies on The Set of First-Order Formulae.

[BibT_eX]

[DOI]

J. Symb. Log., 2000

1999

Subdirectly Irreducible Modal Algebras and Initial Frames.

[BibT_eX]

[DOI]

Stud Logica, 1999

1998

Formal topology and domains.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Domains IV 1998, 1998

A Preview of the Basic Picture: A New Perspective on Formal Topology.

[BibT_eX]

[DOI]

Silvia Gebellato

Proceedings of the Types for Proofs and Programs, 1998

1996

Constructive Domain Theory as a Branch of Intuitionistic Pointfree Topology.

[BibT_eX]

[DOI]

Paolo Virgili

Theor. Comput. Sci., 1996

1995

Pretopologies and Completeness Proofs.

[BibT_eX]

[DOI]

J. Symb. Log., 1995

1993

Building up a Tool-Box for Matrin-Löf's Type Theory (Abstract).

[BibT_eX]

[DOI]

Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

1991

Provability: the emergence of a mathematical modality.

[BibT_eX]

[DOI]

George Boolos

Stud Logica, 1991

1989

A New Proof of Sahlqvist's Theorem on Modal Definability and Completeness.

[BibT_eX]

[DOI]

Virginia Vaccaro

J. Symb. Log., 1989

1988

Topology and duality in modal logic.

[BibT_eX]

[DOI]

Virginia Vaccaro

Ann. Pure Appl. Log., 1988

1985

An incomplete system of modal logic.

[BibT_eX]

[DOI]

George Boolos

J. Philos. Log., 1985

1982

The modal logic of provability. The sequential approach.

[BibT_eX]

[DOI]

J. Philos. Log., 1982

1980

Post Completeness and Free Algebras.

[BibT_eX]

[DOI]