Basic predicate calculus is not sound with respect to the strong variant of strictly primitive recursive realizability
type: Item
instance of: scholarly article
title: Basic predicate calculus is not sound with respect to the strong variant of strictly primitive recursive realizability
DOI: 10.1134/S000143462201028X
published in: Mathematical Notes
publication date: 2022-03-14T00:00:00Z
Mathematics Subject Classification ID: 03Fxx
Mathematics Subject Classification ID: 03Bxx
Mathematics Subject Classification ID: 03Cxx
zbMATH DE Number: 7488500
zbMATH Keywords: strictly primitive recursive realizability
zbMATH Keywords: basic predicate calculus BQC
zbMATH Keywords: constructive semantics
zbMATH Keywords: realizability
Wikidata QID: Q114008850
author: A. Yu. Konovalov
MaRDI profile type: Publication
cites work: On the interpretation of intuitionistic number theory
cites work: Strictly primitive recursive realizability, I
cites work: Provably total functions of Basic Arithmetic
cites work: A propositional logic with explicit fixed points
cites work: Basic predicate calculus
cites work: Q5824357
cites work: Enumeration and the Grzegorczyk Hierarchy
full work available at URL: s000143462201028x
OpenAlex ID: W4213435112
Recommended article: THE NONARITHMETICITY OF THE PREDICATE LOGIC OF STRICTLY PRIMITIVE RECURSIVE REALIZABILITY
Recommended article: The nonarithmeticity of the predicate logic of primitive recursive realizability
Recommended article: Q4440609
Recommended article: Strictly primitive recursive realizability, I
Recommended article: A Gentzen-style axiomatization for basic predicate calculus
Recommended article: Strictly primitive recursive realizability. II: Completeness with respect to iterated reflection and a primitive recursive \(\omega\)-rule
Recommended article: Q4133605
Recommended article: General recursive realizability and basic logic
Recommended article: On the strong semantical completeness of the intuitionistic predicate calculus
Recommended article: Nonaxiomatizability of predicate logics of proofs
description: scientific article; zbMATH DE number 7488500