| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6191024 | 2024-02-08 | Paper |
| Dynamics in Foundations: What Does It Mean in the Practice of Mathematics? | 2023-09-20 | Paper |
| The Minimalist Foundation and Bishop’s Constructive Mathematics | 2023-08-11 | Paper |
| Topology as Faithful Communication Through Relations | 2021-05-20 | Paper |
| C for constructivism. Beyond clichés | 2020-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5224156 | 2019-07-19 | Paper |
| The principle of pointfree continuity | 2019-03-18 | Paper |
| Embedding locales and formal topologies into positive topologies | 2019-01-14 | Paper |
| Topology as faithful communication through relations | 2016-11-09 | Paper |
| The basic Zariski topology | 2015-11-03 | Paper |
| Real and Ideal in Constructive Mathematics | 2015-06-05 | Paper |
| Why topology in the minimalist foundation must be pointfree | 2015-04-09 | Paper |
| Convergence in formal topology: a unifying notion | 2013-02-25 | Paper |
| A constructive Galois connection between closure and interior | 2013-01-07 | Paper |
| A Minimalist Foundation at Work | 2012-09-06 | Paper |
| Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita | 2011-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3015560 | 2011-07-13 | Paper |
| The overlap algebra of regular opens | 2010-06-25 | Paper |
| Finitary formal topologies and Stone's representation theorem | 2008-10-21 | Paper |
| Finiteness in a Minimalist Foundation | 2008-06-03 | Paper |
| Doing Without Turing Machines: Constructivism and Formal Topology | 2007-11-13 | Paper |
| On the meaning of positivity relations for regular formal spaces | 2007-10-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5718565 | 2006-01-16 | Paper |
| Pretopologies and a uniform presentation of sup-lattices, quantales and frames | 2005-12-06 | Paper |
| Some points in formal topology. | 2004-03-14 | Paper |
| Inductively generated formal topologies. | 2003-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4428708 | 2003-09-22 | Paper |
| Basic logic: reflection, symmetry, visibility | 2001-10-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941997 | 2001-07-26 | Paper |
| Formal topologies on the set of first-order formulae | 2001-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4513593 | 2001-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944859 | 2001-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4940726 | 2000-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4247310 | 2000-02-15 | Paper |
| Subdirectly irreducible modal algebras and initial frames | 1999-10-11 | Paper |
| From basic logic to quantum logics with cut-elimination | 1999-01-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4896534 | 1997-06-03 | Paper |
| Constructive domain theory as a branch of intuitionistic pointfree topology | 1997-02-27 | Paper |
| Pretopologies and completeness proofs | 1996-06-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282620 | 1994-04-17 | Paper |
| Provability: The emergence of a mathematical modality | 1992-06-25 | Paper |
| A new proof of Sahlqvist's theorem on modal definability and completeness | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3832536 | 1989-01-01 | Paper |
| Topology and duality in modal logic | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3481701 | 1987-01-01 | Paper |
| An incomplete system of modal logic | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3726077 | 1985-01-01 | Paper |
| The modal logic of provability. The sequential approach | 1982-01-01 | Paper |
| A modal sequent calculus for a fragment of arithmetic | 1980-01-01 | Paper |
| Post Completeness and Free Algebras | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3884090 | 1980-01-01 | Paper |
| Fixed points through the finite model property. (The algebraization of the theories which express Theor; XI) | 1978-01-01 | Paper |
| An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.) | 1976-01-01 | Paper |
| Un'estensione del teorema di Lob | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5184125 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5685131 | 1972-01-01 | Paper |
