Basic predicate calculus is not sound with respect to the strong variant of strictly primitive recursive realizability (Q2113424)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Basic predicate calculus is not sound with respect to the strong variant of strictly primitive recursive realizability |
scientific article; zbMATH DE number 7488500
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Basic predicate calculus is not sound with respect to the strong variant of strictly primitive recursive realizability |
scientific article; zbMATH DE number 7488500 |
Statements
Basic predicate calculus is not sound with respect to the strong variant of strictly primitive recursive realizability (English)
0 references
14 March 2022
0 references
strictly primitive recursive realizability
0 references
basic predicate calculus BQC
0 references
constructive semantics
0 references
realizability
0 references
0.90605986
0 references
0.8945478
0 references
0.8433827
0 references
0.8428311
0 references
0.8377472
0 references
0.83664393
0 references
0.83436054
0 references
0.8337517
0 references
