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

DOI10.1305/NDJFL/1163775437MaRDI QIDQ866492zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(4)

• On two classical results in the first order logic
• 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

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)