Sur quelques points de la logique de M. Brouwer.

zbMATH Open55.0030.05MaRDI QIDQ1834549FDOQ1834549

Authors: V. Glivenko 

Publication date: 1929

Published in: Bulletin de la Classe des Sciences. 5e Série (Search for Journal in Brave)

Cited In (4)

• A topological duality for tense modal pseudocomplemented De Morgan algebras
• Dual tableau-based decision procedures for fragments of the logic of binary relations
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023
• A general Glivenko-Gödel theorem for nuclei

This page was built for publication: Sur quelques points de la logique de M. Brouwer.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1834549)