نتائج البحث

Strictly Positive Fragments of the Provability Logic of Heyting Arithmetic

• Authors : Borges, Ana de Almeida; Joosten, Joost J.

Subjects: Mathematics - Logic

تفاصيل العنوان

Intuitionistic sets and numbers: small set theory and Heyting arithmetic

• Authors : Shapiro, S.; McCarty, C.; Rathjen, M.

تفاصيل العنوان

Interactive Learning-Based Realizability for Heyting Arithmetic with EM1

• Authors : Aschieri, Federico; Berardi, Stefano

Subjects: Computer Science - Logic in Computer Science; F.4.1

• Source: Logical Methods in Computer Science, Volume 6, Issue 3 (September 7, 2010) lmcs:1061

تفاصيل العنوان

Intuitionistic fixed point theories over Heyting arithmetic

• Authors : Arai, Toshiyasu

Subjects: Mathematics - Logic; 03F30

• Source: Proofs, Categories and Computations,College Publications, (2010), pp. 1-14

تفاصيل العنوان

Consistency of Heyting arithmetic in natural deduction.

• Authors : Kanckos, Annika¹

• Source: Mathematical Logic Quarterly. Dec2010, Vol. 56 Issue 6, p611-624. 14p.

تفاصيل العنوان

Interactive Learning-Based Realizability for Heyting Arithmetic with EM1

• Authors : Federico Aschieri; Stefano Berardi

Subjects: computer science - logic in computer science; f.4.1; Logic

• Source: Logical Methods in Computer Science, Vol Volume 6, Issue 3 (2010)

تفاصيل العنوان

On the structure of kripke models of heyting arithmetic.

• Authors : Marković, Zoran¹

• Source: Mathematical Logic Quarterly. 1993, Vol. 39 Issue 1, p531-538. 8p.

تفاصيل العنوان

Consistency of Heyting arithmetic in natural deduction

• Authors : Annika Kanckos

Subjects: Discrete mathematics; Reduction (recursion theory); Interpretation (logic)

• Source: Mathematical Logic Quarterly. 56:611-624

تفاصيل العنوان

Herbrandized modified realizability

• Authors : Ferreira, Gilda; Firmino, Paulo

Subjects: Realizability; Star combinatory calculus; Finite sets

تفاصيل العنوان

A modal analysis of some principles of the provability logic of Heyting Arithmetic

• Authors : Iemhoff, R.

تفاصيل العنوان