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

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

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 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

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

A simple proof of Herbrand's theorem.

Notre Dame Journal of Formal Logic ◽

10.1305/ndjfl/1093891413 ◽

1974 ◽

Vol 15 (3) ◽

pp. 487-488 ◽

Author(s):

Andrés R. Raggio

Keyword(s):

Simple Proof ◽

Herbrand’S Theorem ◽

Herbrand's Theorem

Download Full-text

Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic

Journal of Logic and Computation ◽

10.1093/logcom/exn059 ◽

2008 ◽

Vol 20 (1) ◽

pp. 35-54 ◽

Author(s):

M. Baaz ◽

G. Metcalfe

Keyword(s):

Łukasiewicz Logic ◽

First Order ◽

Proof Systems ◽

Lukasiewicz Logic ◽

Herbrand’S Theorem ◽

Herbrand's Theorem

Download Full-text