Satisfiability is false intuitionistically: a question from Dana Scott

DOI10.1007/s11225-019-09877-yzbMath1484.03129OpenAlexW2980358885WikidataQ127147043 ScholiaQ127147043MaRDI QIDQ2193975

Charles McCarty

Publication date: 25 August 2020

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-019-09877-y

zbMATH Keywords

completenesssatisfiabilityintermediate logicsintuitionistic set theoryRose logictestabillity

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)

Cites Work

• Reflexive intermediate first-order logics
• Realizability and recursive set theory
• Constructivism in mathematics. An introduction. Volume II
• Intuitionistic completeness and classical logic
• Reflexive intermediate propositional logics
• Constructive validity is nonarithmetic
• Completeness and incompleteness for intuitionistic logic
• Formal systems for some branches of intuitionistic analysis
• Propositional Calculus and Realizability
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item