scholarly journals Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving

2001 ◽  
pp. 201-216 ◽  
Author(s):  
Matthias Baaz ◽  
Agata Ciabattoni ◽  
Christian G. Fermüller
Keyword(s):  
Theorem Proving ◽  
Gödel Logic ◽  
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

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

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