نتائج البحث

Rules and Arithmetics

• Authors : Albert Visser; The Pennsylvania State University CiteSeerX Archives

Subjects: Key words; Intuitionistic Logic; Heyting Arithmetic

• Source: ftp://ftp.phil.uu.nl/pub/logic/PREPRINTS/preprint186.ps.Z

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

Submodels of Kripke Models

• Authors : Albert Visser; The Pennsylvania State University CiteSeerX Archives

Subjects: Key words; Kripke models; Intuitionistic Logic

• Source: ftp://ftp.phil.uu.nl/pub/logic/PREPRINTS/preprint189.ps.Z

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

The strength of countable saturation

• Authors : Eyvind Martol Briseid; Benno van den Berg; Pavol Safarik ...

Subjects: Discrete mathematics; Arithmetic; Logic

• Source: Archive for mathematical logicArchive for Mathematical Logic, 56(5-6), 699-711. Springer New York

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

Rules and Arithmetics

• Authors : Visser, A.

Subjects: Wijsbegeerte; Intuitionistic Logic; Heyting Arithmetic

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

Submodels of Kripke Models

• Authors : Visser, A.

Subjects: Wijsbegeerte; Kripke models; Intuitionistic Logic

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

Heyting Algebras with Operators

• Authors : Yasusi Hasimoto

Subjects: Algebra; Mathematics::Logic; Pure mathematics

• Source: MLQ. 47:187-196

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

Intermediate Logics and the de Jongh property.

• Authors : Jongh, Dick¹ ; Verbrugge, Rineke² ; Visser, Albert³

• Source: Archive for Mathematical Logic. Feb2011, Vol. 50 Issue 1/2, p197-213. 17p.

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

Non-Commutative Infinitary Peano Arithmetic

• Authors : Tatsuta, Makoto; Berardi, Stefano; Makoto Tatsuta and Stefano Berardi

Subjects: proof theory; cut elimination; intuitionistic logic

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

S.: Non-Commutative Infinitary Peano Arithmetic

• Authors : Makoto Tatsuta; Stefano Berardi; The Pennsylvania State University CiteSeerX Archives

Subjects: cut elimination; intuitionistic logic; subclassical logic

• Source: http://drops.dagstuhl.de/opus/volltexte/2011/3255/pdf/42.pdf.

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

Intermediate Logics and the de Jongh property

• Authors : de Jongh, Dick; Verbrugge, Rineke; Visser, Albert

Subjects: Intuitionistic logic; Heyting's arithmetic

• Source: de Jongh , D , Verbrugge , R & Visser , A 2011 , ' Intermediate Logics and the de Jongh property ' , Archive for mathematical logic , vol. 50 , no. 1-2 , pp. 197-213 .

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