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

DOI10.1007/BF01230991MaRDI QIDQ1136752zbMATH OpenOpenAlexFDO

Authors Dmitrij 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

• scientific article; zbMATH DE number 3177714 (Why is no real title available?)
• scientific article; zbMATH DE number 3231074 (Why is no real title available?)
• scientific article; zbMATH DE number 3291114 (Why is no real title available?)
• scientific article; zbMATH DE number 3333271 (Why is no real title available?)
• scientific article; zbMATH DE number 3336771 (Why is no real title available?)
• scientific article; zbMATH DE number 3351516 (Why is no real title available?)
• scientific article; zbMATH DE number 3373735 (Why is no real title available?)
• Propositional Calculus and Realizability

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

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