On Herbrand theorems for classical and non-classical logics
Author: Alexander Lyaletski
Paper Information
| Title: | On Herbrand theorems for classical and non-classical logics |
| Authors: | Alexander Lyaletski |
| Proceedings: | ARW-DT 2014 - Automated Reasoning Workshop/Deduktionstreffen Proceedings |
| Editor: | Manfred Kerber |
| Keywords: | Herbrand theorem, first-order logic, classical logic, intuitionistic logic, modal logic, sequent calculus |
| Abstract: | ABSTRACT. The talk is devoted to Herbrand-type theorems for an enough wide spectrum of first-order logics for both the classical and intuitionistic cases as well as for their modal extensions. A way for the construction of Herbrand theorems for first-order logics containing the ineliminable cut rule is discussed. |
| Pages: | 0 |
| Talk: | Jul 24 12:45 |
| Paper: |  |