| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 7802088 (Why is no real title available?) | 2024-02-08 | Paper |
Dynamics in Foundations: What Does It Mean in the Practice of Mathematics?
Synthese Library | 2023-09-20 | Paper |
The Minimalist Foundation and Bishop’s Constructive Mathematics
Handbook of Constructive Mathematics | 2023-08-11 | Paper |
Topology as Faithful Communication Through Relations
Fundamenta Informaticae | 2021-05-20 | Paper |
C for constructivism. Beyond clichés
Lettera Matematica. International Edition | 2020-03-13 | Paper |
| Reducibility, a constructive dual of spatiality | 2019-07-19 | Paper |
The principle of pointfree continuity
(available as arXiv preprint) | 2019-03-18 | Paper |
Embedding locales and formal topologies into positive topologies
Archive for Mathematical Logic | 2019-01-14 | Paper |
Topology as faithful communication through relations
(available as arXiv preprint) | 2016-11-09 | Paper |
The basic Zariski topology
Confluentes Mathematici | 2015-11-03 | Paper |
Real and ideal in constructive mathematics
Epistemology versus Ontology | 2015-06-05 | Paper |
Why topology in the minimalist foundation must be pointfree
Logic and Logical Philosophy | 2015-04-09 | Paper |
Convergence in formal topology: a unifying notion
Journal of Logic and Analysis | 2013-02-25 | Paper |
A constructive Galois connection between closure and interior
Journal of Symbolic Logic | 2013-01-07 | Paper |
A constructive Galois connection between closure and interior
Journal of Symbolic Logic | 2013-01-07 | Paper |
A minimalist foundation at work
The Western Ontario Series in Philosophy of Science | 2012-09-06 | Paper |
Formalization of formal topology by means of the interactive theorem prover Matita
Lecture Notes in Computer Science | 2011-07-29 | Paper |
| scientific article; zbMATH DE number 5919711 (Why is no real title available?) | 2011-07-13 | Paper |
The overlap algebra of regular opens
Journal of Pure and Applied Algebra | 2010-06-25 | Paper |
Finitary formal topologies and Stone's representation theorem
Theoretical Computer Science | 2008-10-21 | Paper |
Finiteness in a Minimalist Foundation
Lecture Notes in Computer Science | 2008-06-03 | Paper |
Doing Without Turing Machines: Constructivism and Formal Topology
Lecture Notes in Computer Science | 2007-11-13 | Paper |
| On the meaning of positivity relations for regular formal spaces | 2007-10-15 | Paper |
| scientific article; zbMATH DE number 2247253 (Why is no real title available?) | 2006-01-16 | Paper |
Pretopologies and a uniform presentation of sup-lattices, quantales and frames
Annals of Pure and Applied Logic | 2005-12-06 | Paper |
Some points in formal topology.
Theoretical Computer Science | 2004-03-14 | Paper |
Inductively generated formal topologies.
Annals of Pure and Applied Logic | 2003-11-25 | Paper |
| scientific article; zbMATH DE number 1984274 (Why is no real title available?) | 2003-09-22 | Paper |
Basic logic: reflection, symmetry, visibility
Journal of Symbolic Logic | 2001-10-03 | Paper |
| scientific article; zbMATH DE number 1418442 (Why is no real title available?) | 2001-07-26 | Paper |
Formal topologies on the set of first-order formulae
Journal of Symbolic Logic | 2001-07-22 | Paper |
| scientific article; zbMATH DE number 1531375 (Why is no real title available?) | 2001-02-28 | Paper |
| scientific article; zbMATH DE number 1420795 (Why is no real title available?) | 2001-01-23 | Paper |
| scientific article; zbMATH DE number 1406810 (Why is no real title available?) | 2000-02-28 | Paper |
| scientific article; zbMATH DE number 1302065 (Why is no real title available?) | 2000-02-15 | Paper |
Subdirectly irreducible modal algebras and initial frames
Studia Logica | 1999-10-11 | Paper |
From basic logic to quantum logics with cut-elimination
International Journal of Theoretical Physics | 1999-01-19 | Paper |
| scientific article; zbMATH DE number 937393 (Why is no real title available?) | 1997-06-03 | Paper |
Constructive domain theory as a branch of intuitionistic pointfree topology
Theoretical Computer Science | 1997-02-27 | Paper |
Pretopologies and completeness proofs
Journal of Symbolic Logic | 1996-06-19 | Paper |
| scientific article; zbMATH DE number 517090 (Why is no real title available?) | 1994-04-17 | Paper |
Provability: The emergence of a mathematical modality
Studia Logica | 1992-06-25 | Paper |
A new proof of Sahlqvist's theorem on modal definability and completeness
Journal of Symbolic Logic | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4108721 (Why is no real title available?) | 1989-01-01 | Paper |
Topology and duality in modal logic
Annals of Pure and Applied Logic | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4152376 (Why is no real title available?) | 1987-01-01 | Paper |
An incomplete system of modal logic
Journal of Philosophical Logic | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3957045 (Why is no real title available?) | 1985-01-01 | Paper |
The modal logic of provability. The sequential approach
Journal of Philosophical Logic | 1982-01-01 | Paper |
A modal sequent calculus for a fragment of arithmetic
Studia Logica | 1980-01-01 | Paper |
Post Completeness and Free Algebras
Mathematical Logic Quarterly | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3689363 (Why is no real title available?) | 1980-01-01 | Paper |
Fixed points through the finite model property. (The algebraization of the theories which express Theor; XI)
Studia Logica | 1978-01-01 | Paper |
An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
Studia Logica | 1976-01-01 | Paper |
Un'estensione del teorema di Lob
Rendiconti del Seminario Matematico della Università di Padova | 1975-01-01 | Paper |
Un'estensione del teorema di Lob
Rendiconti del Seminario Matematico della Università di Padova | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3433128 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3420824 (Why is no real title available?) | 1972-01-01 | Paper |
