A characterization of axiom schema playing the rôle of tertium non datur in intuitionistic logic

DOI10.3792/PJA/1195521795MaRDI QIDQ5585370zbMATH OpenOpenAlexWikidataFDO

Authors Masazumi Hanazawa

Publication date 1966

Published in Proceedings of the Japan Academy, Series A, Mathematical Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3792/pja/1195521795

zbMATH Keywords

general logic

Cited in

(3)

• Classical negation and expansions of Belnap-Dunn logic
• A criterion for the separable axiomatization of Gödel's $S_n $
• A semantic hierarchy for intuitionistic logic

This page was built for publication: A characterization of axiom schema playing the rôle of tertium non datur in intuitionistic logic

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