Basic predicate calculus is sound with respect to a modified version of strictly primitive recursive realizability (Q6194302): Difference between revisions

Latest revision as of 12:32, 28 August 2024

scientific article; zbMATH DE number 7820497

Language	Label	Description	Also known as
English	Basic predicate calculus is sound with respect to a modified version of strictly primitive recursive realizability	scientific article; zbMATH DE number 7820497

Statements

instance of

scholarly article

0 references

title

Basic predicate calculus is sound with respect to a modified version of strictly primitive recursive realizability (English)

0 references

author

Aleksandr Yur'evich Konovalov

0 references

published in

Mathematical Notes

0 references

publication date

19 March 2024

0 references

zbMATH Keywords

strictly primitive recursive realizability

0 references

basis predicate logic BQC

0 references

constructive semantics

0 references

realizability

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

On the interpretation of intuitionistic number theory

0 references

Strictly primitive recursive realizability, I

0 references

Provably total functions of Basic Arithmetic

0 references

THE NONARITHMETICITY OF THE PREDICATE LOGIC OF STRICTLY PRIMITIVE RECURSIVE REALIZABILITY

0 references

A propositional logic with explicit fixed points

0 references

Basic predicate calculus

0 references

Basic predicate calculus is not sound with respect to the strong variant of strictly primitive recursive realizability

0 references

Q5824357

0 references

Enumeration and the Grzegorczyk Hierarchy

0 references

Q5812175

0 references

A Generalized Realizability and Intuitionistic Logic

0 references

Generalized Realizability and Basic Logic

0 references

General recursive realizability and intuitionistic logic

0 references

General recursive realizability and basic logic

0 references

Absolute \(L\)-realizability and intuitionistic logic

0 references

Arithmetical realizability and basic logic

0 references

On hyperarithmetical realizability

0 references

Identifiers

DOI

10.1134/s0001434623110585

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6194302

@@ Property / cites work @@
+On the interpretation of intuitionistic number theory
+Normal rank
@@ Property / cites work @@
+Strictly primitive recursive realizability, I
@@ Property / cites work: Strictly primitive recursive realizability, I / rank @@
+Normal rank
@@ Property / cites work @@
+Provably total functions of Basic Arithmetic
@@ Property / cites work: Provably total functions of Basic Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+THE NONARITHMETICITY OF THE PREDICATE LOGIC OF STRICTLY PRIMITIVE RECURSIVE REALIZABILITY
+Normal rank
@@ Property / cites work @@
+A propositional logic with explicit fixed points
@@ Property / cites work: A propositional logic with explicit fixed points / rank @@
+Normal rank
@@ Property / cites work @@
+Basic predicate calculus
@@ Property / cites work: Basic predicate calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Basic predicate calculus is not sound with respect to the strong variant of strictly primitive recursive realizability
+Normal rank
@@ Property / cites work @@
+Q5824357
@@ Property / cites work: Q5824357 / rank @@
+Normal rank
@@ Property / cites work @@
+Enumeration and the Grzegorczyk Hierarchy
@@ Property / cites work: Enumeration and the Grzegorczyk Hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+A Generalized Realizability and Intuitionistic Logic
+Normal rank
@@ Property / cites work @@
+Generalized Realizability and Basic Logic
@@ Property / cites work: Generalized Realizability and Basic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+General recursive realizability and intuitionistic logic
+Normal rank
@@ Property / cites work @@
+General recursive realizability and basic logic
@@ Property / cites work: General recursive realizability and basic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Absolute \(L\)-realizability and intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Arithmetical realizability and basic logic
@@ Property / cites work: Arithmetical realizability and basic logic / rank @@
+Normal rank
@@ Property / cites work @@
+On hyperarithmetical realizability
@@ Property / cites work: On hyperarithmetical realizability / rank @@
+Normal rank