Лични средства
Вие сте тук: Начало 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 ...
Действия към документ
Новини
Nov 23, 2017 Турнир за купата на Декана 2017, 17 декември 2017
Nov 23, 2017 Семинар „Топология’’, 28 ноември 2017
Nov 22, 2017 Заявки за изпити от минали години, бакалаври и магистри, зимна сесия, 2017/2018
Nov 22, 2017 Защита на дисертационен труд за присъждане на ОНС „доктор” на Росен Николов, 21 декември 2017
Nov 21, 2017 Прием докторанти, график за конкурсните изпити по западен език - 11, и 12 декември 2017
Nov 21, 2017 Доклад на н. с. Зафар Тухлиев от Лабораторията по информационни технологии, ОИЯИ, Дубна, Русия, 23 ноември 2017 г., 17:15-18, Заседателна зала, ФМИ
Nov 20, 2017 Зала 04 в ремонт, занятията се преместват , 20 - 24 ноември 2017
Nov 20, 2017 Допълнително обучение по Алгебра, спец. ИС, 1 курс, 20 и 21 ноември 2017
Nov 20, 2017 Хакатон FMICodes, 15-17 декември 2017
Nov 17, 2017 На вниманието на студентите от ОКС "Бакалавър", напомняне, има невзети заявки за ЗД, зимна сесия, 2017/2018
Nov 17, 2017 Докторанти, график за докторантски минимум по западен език, 2017/2018
Още новини...