Author:
Ardeshir Mohammad,Khaniki Erfan,Shahriari Mohsen
Publisher
Springer Science and Business Media LLC
Reference19 articles.
1. Ardeshir, M., Hesaam, B.: An introduction to basic arithmetic. Logic J. IGPL 16, 1–13 (2008)
2. Ardeshir, M., Khaniki, E., Shahriari, M.: A counter-example to polynomially bounded realizability of Basic Arithmetic. Notre Dame J. Formal Logic 60, 481–489 (2019)
3. Buss, S.R.: Intuitionistic validity in T-normal Kripke structures. Ann. Pure Appl. Logic 59, 159–173 (1993)
4. Buss, S.R.: An Introduction to Proof Theory. In: Buss, S.R. (ed.) Handbook of Proof Theory, pp. 1–78. Elsevier, Amsterdam (1998)
5. Gaifman, H., Dimitracopoulos, C.: Fragments of arithmetic and the MRDP theorem. In: Logic and Algorithmic, Monographie 30 de L’Enseignement Mathematique, pp. 187–206