On analogues of Herbrand's and Harrop's theorems for the joint logic of problems and propositions QHC

DOI10.1134/S1064562423701685OpenAlexW4392796437MaRDI QIDQ6194446

A. A. Onoprienko

Publication date: 19 March 2024

Published in: Doklady Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

Herbrand's theoremnonclassical logicsdisjunctive propertyexistential propertyHarrop's theoremlogic of problems and propositions

Mathematics Subject Classification ID

General logic (03Bxx) Mathematical logic and foundations (03-XX) Proof theory and constructive mathematics (03Fxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intuitionism. An introduction
• Kolmogorov and Gödel's approach to intuitionistic logic: current developments
• The predicate version of the joint logic of problems and propositions

This page was built for publication: On analogues of Herbrand's and Harrop's theorems for the joint logic of problems and propositions QHC