Second order propositional operators over Cantor space

DOI10.1007/BF01053024zbMath0790.03005MaRDI QIDQ1317903

Tomasz Połacik

Publication date: 22 June 1994

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

zbMATH Keywords

propositional quantificationpropositional quantifierstopological interpretationCantor spacepropositional operatorssecond order intuitionistic logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Propositional quantification in the topological semantics for \(\mathbf S4\) ⋮ Pitts' quantifiers are not topological quantification

Cites Work

• On a second order propositional operator in intuitionistic logic
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Unnamed Item
• Unnamed Item

This page was built for publication: Second order propositional operators over Cantor space