Propositional logics of closed and open substitutions over Heyting's arithmetic

DOI10.1305/NDJFL/1163775437zbMATH Open1113.03053OpenAlexW2022617953MaRDI QIDQ866492FDOQ866492

Authors: Albert Visser 

Publication date: 20 February 2007

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/26751

Recommendations

• Closed Fragments of Provability Logics of Constructive Theories
• scientific article; zbMATH DE number 4053610
• Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
• Markov's rule revisited
• On two attempts of describing propositional realizability logic

zbMATH Keywords

realizabilitypropositional logicclosed substitutionsconstructive arithmetical theoriesopen substitutions

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50)

Cited In (4)

• Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
• A Survey of Propositional Realizability Logic
• A survey of predicate realizability logic
• On two classical results in the first order logic

This page was built for publication: Propositional logics of closed and open substitutions over Heyting's arithmetic

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