Recherches sur le système de la logique intuitioniste.

MaRDI QIDQ2610708zbMATH OpenFDO

Authors Stanislaw Jaskowski

Publication date 1936

Published in Actualités Scientifiques et Industrielles (Search for Journal in Brave)

Mathematics Subject Classification ID

Classical propositional logic (03B05) Philosophy of mathematics (00A30)

Cited in

(1)

• On paracomplete versions of Jaśkowski's discussive logic

This page was built for publication: Recherches sur le système de la logique intuitioniste.

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