Analog of Herbrand’s Theorem for Prenex Formulas of Constructive Predicate Calculus

1969 ◽  
pp. 47-51
Author(s):  
G. E. Mints
Keyword(s):  
Predicate Calculus ◽  
Herbrand’S Theorem ◽  
Herbrand's Theorem

Analog of Herbrand's Theorem for [non] Prenex Formulas of Constructive Predicate Calculus.

1971 ◽  
Vol 36 (3) ◽  
pp. 525
Author(s):  
J. van Heijenoort ◽  
G. E. Mints ◽  
A. O. Slisenko
Keyword(s):  
Predicate Calculus ◽  
Herbrand’S Theorem ◽  
Herbrand's Theorem

Herbrand's Theorem for Nonstandard Inference Operations

1994 ◽  
Vol 4 (2) ◽  
pp. 143-156
Author(s):  
JÜRGEN DIX ◽  
MARTIN KUMMER
Keyword(s):  
Herbrand’S Theorem ◽  
Herbrand's Theorem

An Improvement of Herbrand's Theorem and Its Application to Model Generation Theorem Proving

2007 ◽  
Vol 22 (4) ◽  
pp. 541-553
Author(s):  
Yu-Yan Chao ◽  
Li-Feng He ◽  
Tsuyoshi Nakamura ◽  
Zheng-Hao Shi ◽  
Kenji Suzuki ◽  
...  
Keyword(s):  
Theorem Proving ◽  
Model Generation ◽  
Generation Theorem ◽  
Herbrand’S Theorem ◽  
Herbrand's Theorem ◽  
Model Generation Theorem Proving

scholarly journals Herbrand's theorem as higher order recursion

2020 ◽  
Vol 171 (6) ◽  
pp. 102792
Author(s):  
Bahareh Afshari ◽  
Stefan Hetzl ◽  
Graham E. Leigh
Keyword(s):  
Higher Order ◽  
Herbrand’S Theorem ◽  
Herbrand's Theorem
Sign in / Sign up

Export Citation Format

Share Document