On Jaskowski-type semantics for the intuitionistic propositional logic
type: Item
instance of: scholarly article
title: On Jaskowski-type semantics for the intuitionistic propositional logic
zbMATH Open document ID: 0341.02016
DOI: 10.1007/BF02123383
author: Stanisław J. Surma
author: Stanislaw Zachorowski
author: Andrzej Wroński
published in: Studia Logica
publication date: 1975-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B55
Mathematics Subject Classification ID: 03C99
zbMATH DE Number: 3531348
MaRDI profile type: Publication
cites work: Q5532570
cites work: A Note on The Jaśkowski Sequence
cites work: Propositional Calculus and Realizability
cites work: Proof of a conjecture of McKay
cites work: Q5518356
description: scientific article; zbMATH DE number 3531348