Creative subject, Beth models and neighbourhood functions

DOI10.1007/BF01273687MaRDI QIDQ1908820zbMATH OpenFDO

Authors Victor N. Krivtsov

Publication date 6 March 1996

Published in Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

completenesscreative subjectsemantical analysisBeth type semanticsHeyting first-order logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Intuitionistic mathematics (03F55)

Recommendations

• On the semantic completeness of the logics of the creating subject
• The logic of a creative subject: conservativism versus intuitionistic predicate calculus
• scientific article; zbMATH DE number 4049641

Cites work

• scientific article; zbMATH DE number 3552491 (Why is no real title available?)
• scientific article; zbMATH DE number 3557754 (Why is no real title available?)
• scientific article; zbMATH DE number 1028819 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• scientific article; zbMATH DE number 3298807 (Why is no real title available?)
• scientific article; zbMATH DE number 3320364 (Why is no real title available?)
• scientific article; zbMATH DE number 3325544 (Why is no real title available?)
• scientific article; zbMATH DE number 3057415 (Why is no real title available?)
• scientific article; zbMATH DE number 3089103 (Why is no real title available?)
• scientific article; zbMATH DE number 3089104 (Why is no real title available?)
• A new version of Beth semantics for intuitionistic logic
• An interpretation of intuitionistic analysis
• Another intuitionistic completeness proof
• Constructivism in mathematics. An introduction. Volume II
• Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
• Semantical investigations in Heyting's intuitionistic logic

Cited in

(3)

• Brouwer's weak counterexamples and the creative subject: a critical survey
• scientific article; zbMATH DE number 4049641 (Why is no real title available?)
• Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject: afterthoughts on a Parisian joint session

This page was built for publication: Creative subject, Beth models and neighbourhood functions

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