Лични средства
Вие сте тук: Начало Members triffon's Home MLFD The MinLog For Dialectica Page maintained by Dan HERNEST

The MinLog For Dialectica Page maintained by Dan HERNEST

The MinLog For Dialectica Page

[ last updated on 13 September 2015, first created on 20 May 2006]

We here provide the full MinLog of August 2015 plus `etsmdA.scm', `mdiphVB.scm' and `initDan.scm' in the "minlog" root folder. The Scheme program extraction from a classical proof of Unbounded Pigeonhole Principle (UPP) by means of an implementation of Kreisel implication is presented in our paper. File mdiphVB.scm is for UPP, file etsmdA.scm adapts MinLog's native `pairs' Dialectica module etsd.scm by interpreting `-->' (impnc) as Kreisel implication, while initDan.scm is MinLog's `init.scm' for Windows pathnames. Simply replace "C:\\minlog" in the file minlog/initDan.scm with your actual minlogpath, like "~/minlog". Also replace "C:\\minlog\\initDan.scm" with `minlogpath/initDan.scm' and "C:\\minlog\\etsmdA.scm" with `minlogpath/etsmdA.scm' in the file minlog/mdiphVB.scm If you work under (any) version of Windows (hopefully XP Professional, or at least 7 Home Premium) and unzip in the root folder "C:\" then you are done.

In March 2008, the light (monotone) Dialectica with tuples was part of the main MinLog distribution (in parallel with the variant with pairs, develloped and maintained by Schwichtenberg and Trifonov). At this moment the `diatup' module is no longer present in the latest MinLog distribution, due to (backwards) syntax compatibility. Nonetheless we here provide the half-MegaByte full MinLog of 2008. The extraction module is "modules/diatup.scm" and the examples are under "examples/diatup/*". The older development snapshots (previous to March 2008) are here. Check 080303 for the historically first `tuples' variant integrated with mainstream MinLog.

Installation Instructions

It is assumed that you have (Petite) Chez Scheme installed on your Computer. A very useful option, particularly when working with the Petite Interpreter is to also have Emacs installed on your Computer.
Each snapshots is a ZIP archive of the "minlog" folder and the relevant part of its contents. Simply replace "C:\\minlog" in the file minlog/init.scm with your actual minlogpath, like "~/minlog". Also replace "C:\\minlog\\init.scm" with `minlogpath/init.scm' in all example files. If you work under (any) version of Windows (hopefully XP Professional, or at least 7 Home Premium) and unzip in the root folder "C:\" then you are done. Enjoy!

Contact and Technical Support

Should you have any questions about Installation or about Dialectica interpretations, it is O.K. to write me at danhernest yahoo com . I promise to do my best to answer as soon as possible ...
Действия към документ
Новини
Dec 22, 2017 Зала 04, ФМИ ще функционира нормално от 3 януари 2018
Dec 21, 2017 Семинар „Топология’’, 9 януари 2018
Dec 19, 2017 Допълнително обучение по Увод в програмирането, спец. ИС, 1 курс, декември 2017
Dec 19, 2017 Резултати от състезанието по програмиране "За купата на Декана'2017"
Dec 14, 2017 Семинар Динамични системи и теория на числата, 19 декември 2017
Dec 14, 2017 Семинар „Топология’’, 19 декември 2017
Dec 13, 2017 Допълнително обучение по Алгебра 1, спец. КН, 1 курс, 2 поток, 15 декември 2017
Dec 12, 2017 Студенти от ФМИ са сред стипендиантите на фондация "Еврика" за 2017/2018 уч. г.
Dec 12, 2017 ОКС "бакалавър", анкета за проучване опита на студентите в електронното обучение и нагласите им към дистанционната форма на обучение
Dec 11, 2017 Допълнително обучение по Дискретни структури, спец. КН, 1 курс, 2 поток, 14 декември 2017
Dec 07, 2017 Семинар „Топология’’, 12 декември 2017
Още новини...