On weakened quantification

DOI10.2307/2268310MaRDI QIDQ5843549zbMATH OpenOpenAlexFDO

Authors Arend Heyting

Publication date 1946

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2268310

Cited in

(7)

• On a generalized cylindrical algebra and intuitionistic logic
• How weak is weak extent?
• A qualitative temporal extension of here-and-there logic
• Unambiguous Büchi Is Weak
• Leon Henkin the reviewer
• Heyting’s contribution to the change in research into the foundations of mathematics
• scientific article; zbMATH DE number 3248787 (Why is no real title available?)

This page was built for publication: On weakened quantification

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