As a result of the
efforts in formalisation and implementation of PCL we can
now present a collection of experimental software tools
for the transclassical calculi of PCL, Kenogrammatics and
Downloadable Software-Lab for PCL
In one of our research projects we developed a
Software Lab for PCL, including an automatic
proof-generator for PCL.
Sorry, the code is not yet out from Beta-Testing!
Downloadable Software-Lab for Morphogrammatics
For those who want to 'see' Kenogrammatics, Morphogrammatics, the transclassical proemial relationship etc. working on a classical Turing machine (i.e. your personal computer) we provide the SML source code as documented in the above mentioned textbook. For running this code you will need Standard ML (including functors) like The New Jersey SML, which is currently availabe only for UNIX-machines and WinNT. For the DOS or Windows user a tiny ML version called Moscow ML is available, which does not support functors. But everything else *should* work.
Please download the complete package as a ZIP-archive or pick
the uncompressed source code files:
an experimental Implementation of reflective functional
Programming. It contains a very simple Lexer and Parser
for a lambda-calculus language in lisp-syntax. The Lambda
terms are compiled to variablefree Combinator Graphs.
MorphoLab 1.0 for Win95/WinNT out now!
According to the many requests of the general public and our industry-partners we proudly present a Win95/WinNT Version of the MorphoLab. This Program enhances your Windows System with the ultimate PCL-Software. Until now it does not include an implementation of the Proemial Relationship.
Rudolf Kaehr: Das graphematische Problem einer Formalisierung der transklassischen Logik Gotthard GŁnthers, 1981
This text is a paper which goes back to the 70th and was in some sort a first attempt to formalize polycontextural logics in the game of disseminated Smullyan Frameworks with the use/abuse of Category theory. It is a predessor design to the attempts of formalizing and implementing PCL in the framework of ML, as published in the early 90th. See below.
Catharina Kennedy: Logical Problems of Cognitive Modelling (1995)
Second-Order Cybernetics.Introduction to the logical problems of self-referential systems and some motivations to their modelling in polycontextural logics. (internal use only).
Get the description of the first implementation of a semi-automatic Tableaux-Prover for polycontextural logics developed between 1988/1993 in ML by Steven Bashford and Johannes 5 Joemann (german).
Polykontexturale Logik. Tableaux-Beweiser. DOCUMENTATION.
Polykontexturale Logik. Tableaux-Beweiser. Sources of ML-IMPLEMENTATION.
|© '98/2004 PCL-Group|