A constructive predicate calculus

DOI10.1134/S0001434625603624MaRDI QIDQ6880436zbMATH OpenFDO

Authors V. E. Plisko

Publication date 19 December 2025

Published in Mathematical Notes (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/S0001434625603624

zbMATH Keywords

absolute realizabilityconstructive arithmeticconstructive logicextended church thesisMarkov principlepredicate calculusrecursive realizability

Mathematics Subject Classification ID

General logic (03Bxx) Computability and recursion theory (03Dxx) Proof theory and constructive mathematics (03Fxx)

Cites work

• ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS
• scientific article; zbMATH DE number 3685485 (Why is no real title available?)
• scientific article; zbMATH DE number 5179808 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• INVARIANT PROPERTIES OF SYSTEMS OF FORMULAS OF ELEMENTARY AXIOMATIC THEORIES
• On the interpretation of intuitionistic number theory
• Propositional Calculus and Realizability
• Propositional logics of closed and open substitutions over Heyting's arithmetic
• Recursive Functions and Intuitionistic Number Theory
• SOME VARIANTS OF THE NOTION OF REALIZABILITY FOR PREDICATE FORMULAS
• THE NONARITHMETICITY OF THE CLASS OF REALIZABLE PREDICATE FORMULAS
• Transfinite sequences of constructive predicate logics
• Über das Prinzip tertium non datur.

This page was built for publication: A constructive predicate calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6880436)