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

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4899-5630-9_12 ◽

1969 ◽

pp. 47-51

Author(s):

G. E. Mints

Keyword(s):

Predicate Calculus ◽

Herbrand’S Theorem ◽

Herbrand's Theorem

Download Full-text

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

Studies in Constructive Mathematics and Mathematical Logic ◽

10.1007/978-1-4684-8968-2_12 ◽

1969 ◽

pp. 47-51 ◽

Author(s):

G. E. Mints

Keyword(s):

Predicate Calculus ◽

Herbrand’S Theorem ◽

Herbrand's Theorem

Download Full-text

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

Journal of Symbolic Logic ◽

10.2307/2269981 ◽

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

Download Full-text

G. E. Minc. Teoréma Erbrana dlá isčisléniá prédikatov s ravénstvom i funkcional′nymi simvolami. Doklady Akadémii Nauk SSSR, vol. 169 (1966), pp. 273–275. - G. E. Minc. Herbrand's theorem for the predicate calculus with equality and functional symbols. English translation of the preceding by Leo F. Boron. Soviet mathematics, vol. 7 no. 4 (1966), pp. 911–914.

Journal of Symbolic Logic ◽

10.2307/2270535 ◽

1970 ◽

Vol 35 (2) ◽

pp. 325-325 ◽

Author(s):

J. van Heijenoort

Keyword(s):

English Translation ◽

Nauk Sssr ◽

Predicate Calculus ◽

Akademii Nauk Sssr ◽

Doklady Akademii Nauk Sssr ◽

Herbrand’S Theorem ◽

Herbrand's Theorem

Download Full-text

R. Sikorski. On Herbrand's theorem. Colloquium mathematicum, vol. 6 (1958), pp. 55–58.

Journal of Symbolic Logic ◽

10.2307/2271477 ◽

1970 ◽

Vol 35 (4) ◽

pp. 587-587

Author(s):

Donald Monk

Keyword(s):

Herbrand’S Theorem ◽

Herbrand's Theorem

Download Full-text

Herbrand's Theorem for Nonstandard Inference Operations

Journal of Logic and Computation ◽

10.1093/logcom/4.2.143 ◽

1994 ◽

Vol 4 (2) ◽

pp. 143-156

Author(s):

JÜRGEN DIX ◽

MARTIN KUMMER

Keyword(s):

Herbrand’S Theorem ◽

Herbrand's Theorem

Download Full-text

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

Mathematical Logic Quarterly ◽

10.1002/malq.201110061 ◽

2012 ◽

Vol 58 (3) ◽

pp. 208-216 ◽

Author(s):

Isaac Goldbring

Keyword(s):

Herbrand’S Theorem ◽

Metric Structures ◽

Definable Functions ◽

Herbrand's Theorem

Download Full-text

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

Journal of Computer Science and Technology ◽

10.1007/s11390-007-9062-2 ◽

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

Download Full-text

A proof of Herbrand's theorem

Studies in Logic and the Foundations of Mathematics - Foundational Studies - Selected Works ◽

10.1016/s0049-237x(09)70263-0 ◽

1979 ◽

pp. 292-297

Author(s):

J. Toś ◽

A. Mostowski ◽

H. Rasiowa

Keyword(s):

Herbrand’S Theorem ◽

Herbrand's Theorem

Download Full-text

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

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-45653-8_14 ◽

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

Download Full-text

Herbrand's theorem as higher order recursion

Annals of Pure and Applied Logic ◽

10.1016/j.apal.2020.102792 ◽

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

Download Full-text