Creative subject, Beth models and neighbourhood functions

DOI10.1007/BF01273687zbMATH Open0848.03006MaRDI QIDQ1908820FDOQ1908820

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)

Cites Work

• Title not available (Why is that?)
• Semantical investigations in Heyting's intuitionistic logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• An interpretation of intuitionistic analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Another intuitionistic completeness proof
• Title not available (Why is that?)
• A new version of Beth semantics for intuitionistic logic
• Title not available (Why is that?)

   Recommendations

• On the semantic completeness of the logics of the creating subject 👍 👎
• The logic of a creative subject: conservativism versus intuitionistic predicate calculus 👍 👎
• Title not available (Why is that?) 👍 👎

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)