scientific article; zbMATH DE number 638368

zbMATH Open0806.03008MaRDI QIDQ4305342FDOQ4305342

Authors: Tomasz Połacik 

Publication date: 13 September 1994

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

Cantor spacesecond-order intuitionistic propositional logic

Mathematics Subject Classification ID

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

Cited In (4)

• Second order propositional operators over Cantor space
• Propositional quantification in the topological semantics for \(\mathbf S4\)
• Pitts' quantifiers are not topological quantification
• Title not available (Why is that?)

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)