Лични средства
Вие сте тук: Начало 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 ...
Действия към документ
Новини
Sep 20, 2017 СДК "Учител по математика", "Учител по математика и информатика", "Учител по информатика и информационни технологии" и "Учител в профилирана подготовка по информатика и информационни технологии"
Sep 19, 2017 Записване на новоприетите студенти във ОКС "Магистър" на ФМИ за учебна 2017/2018 г.
Sep 18, 2017 Публична лекция на д-р Николина Николова, 5 октомври 2017
Sep 18, 2017 Прием за ОКС "магистър" , 2017/2018, резултати от кандидатмагистърския изпит за МП от специалност Информатика
Sep 17, 2017 От 15 до 17 септември 2017 г. ФМИ бе домакин и организатор на Юбилейната научна конференция „100 години от рождението на проф. Ярослав Тагамлицки"
Sep 14, 2017 Програма Еразъм +, конкурс за преподавателска мобилност с цел преподаване и обучение, 2017-2018 уч.г.
Sep 14, 2017 132nd European Study Group with Industry, ESGI'132, 18-22 септември 2017
Sep 12, 2017 СДК "Учител по информационни технологии, 5. – 8. клас", срок за записване до 15 октомври 2017
Sep 12, 2017 На вниманието на студентите 1 курс, задочно обучение
Sep 11, 2017 Разпределение на входящите номера по сгради и зали, тест за МП от спец. Информатика, 12 септември 2017
Sep 10, 2017 Оценки от ДИ проведен на 9 и 10 септември 2017 г., спец. Математика и информатика
Още новини...