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

Model Generation Theorem Proving with Finite Interval Constraints

Computational Logic — CL 2000 - Lecture Notes in Computer Science ◽

10.1007/3-540-44957-4_19 ◽

2000 ◽

pp. 285-299 ◽

Author(s):

Reiner Hähnle ◽

Ryuzo Hasegawa ◽

Yasuyuki Shirai

Keyword(s):

Theorem Proving ◽

Finite Interval ◽

Model Generation ◽

Generation Theorem ◽

Interval Constraints ◽

Model Generation Theorem Proving

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

Automated theorem-proving research in the Fifth Generation Computer Systems Project: Model generation theorem provers

Future Generation Computer Systems ◽

10.1016/0167-739x(93)90007-c ◽

1993 ◽

Vol 9 (2) ◽

pp. 143-152

Author(s):

Mark E Stickel

Keyword(s):

Theorem Proving ◽

Automated Theorem Proving ◽

Computer Systems ◽

Model Generation ◽

Generation Theorem ◽

Theorem Provers ◽

Fifth Generation ◽

Project Model ◽

Generation Computer

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

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

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

Answer Set Computation Based on a Minimal Model Generation Theorem Prover

PRICAI 2004: Trends in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-540-28633-2_7 ◽

2004 ◽

pp. 43-52 ◽

Author(s):

Yasuyuki Shirai ◽

Ryuzo Hasegawa

Keyword(s):

Minimal Model ◽

Theorem Prover ◽

Model Generation ◽

Generation Theorem ◽

Download Full-text