scientific article; zbMATH DE number 638368

MaRDI QIDQ4305342zbMATH OpenFDO

Authors Tomasz Połacik

Publication date 13 September 1994

zbMATH Keywords

Cantor spacesecond-order intuitionistic propositional logic

Mathematics Subject Classification ID

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

Recommendations

• Operators in Girard quantales
• scientific article; zbMATH DE number 2015268
• Second order propositional operators over Cantor space
• scientific article; zbMATH DE number 1163941
• scientific article; zbMATH DE number 1428723
• Quantale modules and their operators, with applications
• Definable operators on Hilbert spaces
• Closure operators with positive connectives and quantifiers
• Scopeless quantifiers and operators
• scientific article; zbMATH DE number 5734940

Cited in

(4)

• Second order propositional operators over Cantor space
• Propositional quantification in the topological semantics for S4
• Pitts' quantifiers are not topological quantification
• scientific article; zbMATH DE number 2015268 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4305342)