Realizability and finite validity of propositional formulas with restrictions on the occurrence of implication
type: Item
instance of: scholarly article
title: Realizability and finite validity of propositional formulas with restrictions on the occurrence of implication
zbMATH Open document ID: 0427.03017
DOI: 10.1007/BF01230991
published in: Mathematical Notes
publication date: 1979-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 03B55
zbMATH DE Number: 3664911
zbMATH Keywords: completeness
zbMATH Keywords: intuitionistic propositional calculus
author: Dmitrij Skvortsov
MaRDI profile type: Publication
cites work: Propositional Calculus and Realizability
cites work: Q5613907
cites work: Q5610997
cites work: Q3845365
cites work: Q5573946
cites work: Q5645398
cites work: Q5626609
cites work: Q5519126
full work available at URL: https://doi.org/10.1007/bf01230991
OpenAlex ID: W2038450466
description: scientific article; zbMATH DE number 3664911