Creative subject, Beth models and neighbourhood functions

DOI10.1007/BF01273687zbMath0848.03006MaRDI QIDQ1908820

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) Intuitionistic mathematics (03F55) Intermediate logics (03B55)

Cites Work

• Semantical investigations in Heyting's intuitionistic logic
• 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
• Another intuitionistic completeness proof
• A new version of Beth semantics for intuitionistic logic
• An interpretation of intuitionistic analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item