Generalized Realizability and Basic Logic

DOI10.1145/3468856MaRDI QIDQ5056354zbMATH OpenOpenAlexWikidataFDO

Authors A. Yu. Konovalov

Publication date 8 December 2022

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2001.08989

zbMATH Keywords

absolute realizabilitybasic predicate calculus BQCconstructive semanticsrealizability

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55)

Abstract: Let V be a set of number-theoretical functions. We define a notion of absolute V-realizability for predicate formulas and sequents in such a way that the indices of functions in V are used for interpreting the implication and the universal quantifier. In this paper we prove that Basic Logic is sound with respect to the semantics of absolute V-realizability if V satisfies some natural conditions.

Recommendations

• General recursive realizability and basic logic
• ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS
• Generalized realizability for extensions of the language of arithmetic
• General recursive realizability and intuitionistic logic
• scientific article; zbMATH DE number 3557757

Cited in

(11)

• Generalized realizability for extensions of the language of arithmetic
• The logic of generalized truth values and the logic of bilattices
• scientific article; zbMATH DE number 5851813 (Why is no real title available?)
• ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS
• scientific article; zbMATH DE number 3557757 (Why is no real title available?)
• scientific article; zbMATH DE number 3216186 (Why is no real title available?)
• A Generalized Realizability and Intuitionistic Logic
• Basic predicate calculus is sound with respect to a modified version of strictly primitive recursive realizability
• Generalized realizability and Markov's principle
• General recursive realizability and basic logic
• Well-foundedness in realizability

This page was built for publication: Generalized Realizability and Basic Logic

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