Weak Logical Constants and Second Order Definability of the Full-Strength Logical Constants

DOI10.4288/JAFPOS1956.7.163zbMath0723.03002OpenAlexW2004395686MaRDI QIDQ3211279

Mitsuhiro Okada

Publication date: 1989

Published in: Annals of the Japan Association for Philosophy of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4288/jafpos1956.7.163

zbMATH Keywords

introduction rulesgeneralized Kripke modelslogic of simple logical constantssubsystem of second-order intuitionistic logic

Mathematics Subject Classification ID

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

This page was built for publication: Weak Logical Constants and Second Order Definability of the Full-Strength Logical Constants