Second order propositional operators over Cantor space
type: Item
instance of: scholarly article
title: Second order propositional operators over Cantor space
zbMATH Open document ID: 0790.03005
DOI: 10.1007/BF01053024
author: Tomasz Połacik
published in: Studia Logica
publication date: 1994-06-22T00:00:00Z
Mathematics Subject Classification ID: 03B15
Mathematics Subject Classification ID: 03B20
zbMATH DE Number: 536893
zbMATH Keywords: second order intuitionistic logic
zbMATH Keywords: propositional operators
zbMATH Keywords: propositional quantification
zbMATH Keywords: topological interpretation
zbMATH Keywords: Cantor space
zbMATH Keywords: propositional quantifiers
MaRDI profile type: Publication
cites work: Q3914981
cites work: On an interpretation of second order quantification in first order intuitionistic propositional logic
cites work: On a second order propositional operator in intuitionistic logic
cites work: Q3734369
description: scientific article; zbMATH DE number 536893