Realizability and finite validity of propositional formulas with restrictions on the occurrence of implication

DOI10.1007/BF01230991zbMath0427.03017OpenAlexW2038450466MaRDI QIDQ1136752

Dimitrij Skvortsov

Publication date: 1979

Published in: Mathematical Notes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01230991

zbMATH Keywords

completenessintuitionistic propositional calculus

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Intermediate logics (03B55)

Cites Work

• Propositional Calculus and Realizability
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Realizability and finite validity of propositional formulas with restrictions on the occurrence of implication