JANSSEN, Theo M.V. A compositional semantic for the game-theoretical interpretation of logic. Proceedings of the Amsterdam Colloquium, Amsterdam, p. 181–185, 1997. Disponível em: https://platform.openjournals.nl/PAC/article/view/24592.. Acesso em: 19 apr. 2026.