Generalized Realizability and Basic Logic

DOI10.1145/3468856zbMath1505.03128arXiv2001.08989OpenAlexW3197890969WikidataQ130821880 ScholiaQ130821880MaRDI QIDQ5056354

Aleksandr Yur'evich 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

realizabilityconstructive semanticsabsolute realizabilitybasic predicate calculus BQC

Mathematics Subject Classification ID

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

Related Items (2)

A Generalized Realizability and Intuitionistic Logic ⋮ Basic predicate calculus is sound with respect to a modified version of strictly primitive recursive realizability

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