On a second order propositional operator in intuitionistic logic

DOI10.1007/BF01874704zbMath0473.03022MaRDI QIDQ1158419

A. S. Troelstra

Publication date: 1981

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

definabilityintuitionistic propositional logicsecond order propositional logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Intuitionistic mathematics (03F55)

Related Items

Semantic characterization of intuitionistic logical connectives ⋮ Propositional quantification in the topological semantics for \(\mathbf S4\) ⋮ Propositional quantification in the monadic fragment of intuitionistic logic ⋮ Pitts' quantifiers are not topological quantification ⋮ The pleasures of anticipation: Enriching intuitionistic logic ⋮ The creating subject, the Brouwer-Kripke schema, and infinite proofs ⋮ Second order propositional operators over Cantor space

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On some new intuitionistic propositional connectives. I
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
• On formulas of one variable in intuitionistic propositional calculus
• Connectivity of an Interval
• Formal systems for some branches of intuitionistic analysis
• Elementary intuitionistic theories