On analogues of Herbrand's and Harrop's theorems for the joint logic of problems and propositions QHC (Q6194446)
From MaRDI portal
scientific article; zbMATH DE number 7820607
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On analogues of Herbrand's and Harrop's theorems for the joint logic of problems and propositions QHC |
scientific article; zbMATH DE number 7820607 |
Statements
On analogues of Herbrand's and Harrop's theorems for the joint logic of problems and propositions QHC (English)
0 references
19 March 2024
0 references
nonclassical logics
0 references
logic of problems and propositions
0 references
disjunctive property
0 references
existential property
0 references
Herbrand's theorem
0 references
Harrop's theorem
0 references
