Found 11 Documents (Results 1–11)
From forcing to satisfaction in Kripke models of intuitionistic predicate logic. (English) Zbl 1492.03003
Homomorphisms and chains of Kripke models. (English) Zbl 1239.03005
Reviewer: Seyed-Mohammad Bagheri (Tehran)
On the hierarchy of intuitionistic bounded arithmetic. (English) Zbl 1147.03032
Reviewer: Roman Murawski (Poznań)
MSC:
03F30
Model theory of bounded arithmetic with applications to independence results. (English) Zbl 1107.03039
Enayat, Ali (ed.) et al., Logic in Tehran. Proceedings of the workshop and conference on logic, algebra and arithmetic, Tehran, Iran, October 18–22, 2003. Wellesley, MA: AK Peters (ISBN 1-56881-296-5/pbk; 1-56881-295-7/hbk). Lecture Notes in Logic 26, 239-247 (2006).
Polynomial induction and length minimization in intuitionistic bounded arithmetic. (English) Zbl 1059.03066
Reviewer: Roman Murawski (Poznań)
Filter Results by …
Document Type
- Journal Articles (10)
- Collection Articles (1)
Author
- Moniri, Morteza (11)
- Zaare, Mostafa (4)
- Abiri, Maryam (2)
Serial
- Math. Log. Q. (4)
- J. Log. Comput. (2)
- Arch. Math. Logic (2)
- Log. J. IGPL (2)