On a second order propositional operator in intuitionistic logic
type: Item
instance of: scholarly article
title: On a second order propositional operator in intuitionistic logic
zbMATH Open document ID: 0473.03022
DOI: 10.1007/BF01874704
author: A. S. Troelstra
published in: Studia Logica
publication date: 1981-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 03F55
zbMATH DE Number: 3741355
zbMATH Keywords: intuitionistic propositional logic
zbMATH Keywords: definability
zbMATH Keywords: second order propositional logic
MaRDI profile type: Publication
cites work: On some new intuitionistic propositional connectives. I
cites work: Q3858263
cites work: Q5614644
cites work: Q3936721
cites work: Q5509710
cites work: Q3914981
cites work: Formal systems for some branches of intuitionistic analysis
cites work: Connectivity of an Interval
cites work: On formulas of one variable in intuitionistic propositional calculus
cites work: Elementary intuitionistic theories
cites work: Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
cites work: Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
cites work: Q4126323
cites work: Q3880812
description: scientific article; zbMATH DE number 3741355