On a theory of weak implications

DOI10.2307/2274438zbMath0649.03009OpenAlexW4234358197MaRDI QIDQ3794150

Mitsuhiro Okada

Publication date: 1988

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274438

zbMATH Keywords

intuitionist implicationprovability semanticsGentzen sequent calculi

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: On a theory of weak implications