scholarly journals An approximate Herbrand’s theorem and definable functions in metric structures

2012 ◽  
Vol 58 (3) ◽  
pp. 208-216 ◽  
Author(s):  
Isaac Goldbring
Keyword(s):  
Herbrand’S Theorem ◽  
Metric Structures ◽  
Definable Functions ◽  
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