Basic predicate calculus is not sound with respect to the strong variant of strictly primitive recursive realizability
strictly primitive recursive realizability
scientific article; zbMATH DE number 7488500