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

DOI10.1007/BF01230991zbMATH Open0427.03017OpenAlexW2038450466MaRDI QIDQ1136752FDOQ1136752

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

• Propositional Calculus and Realizability
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)