Related Projects – OzSL


The logic of composite quantum systems – NWO TOP-GO

The Model Theory of Constructive Proofs – NWO Vrije Competitie

ForMath: Formalization of Mathematics - EU FP7 STREP FET project

The power of constructive proofs – NWO Vidi

Logics for quantum interaction – NWO Vidi

Categorical and ALgebraic MOdels of Computation – NWO Vrije Competitie

Topos theory, noncommutative geometry, and quantum logic – NWO Vrije Competitie

Mathematically and Computationally Relevant Dualities – NWO Vrije Competitie

Algebra and Coalgebra: the mathematical environments of modal logic – NWO Vici

Dualities for quantales: a spatial understanding of noncommutative – NWO Veni

Infinitary Combinatorics without the Axiom of Choice – NWO/DFG



Events of interest     |     Main page     |     Colloquium on mathematical logic