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

DOI10.4288/JAFPOS1956.7.163zbMATH Open0723.03002OpenAlexW2004395686MaRDI QIDQ3211279FDOQ3211279

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

Recommendations

• Five observations concerning the intended meaning of the intuitionistic logical constants
• New intuitionistic logical constants and Novikov completeness
• On a theory of weak implications
• Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic
• A secondary semantics for Second Order Intuitionistic Propositional Logic

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)

Cited In (2)

• Stability of weak second-order semantics
• Five observations concerning the intended meaning of the intuitionistic logical constants

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

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