Beweisbauer für Alpha-Graphen nach Peirce

Allgemeines - Hilfe zum Applet - Hilfe zu den Schlussregeln - Hilfe zur logischen Sprache - Wenige Beispiele - Andere Funktionen - Feedback

Aus Marktüberlegungen ist der Beweisbauer für Alpha-Graphen nach Peirce nur in englischer Sprache verfügbar.

Ihr Browser ist nicht Java-fähig.
Aus diesem Grund stehen Ihnen leider nur die nicht javabasierten Funktionen, die zentrale Verarbeitungen und die Beweisprüfung, zur Verfügung.

Leider unterstützen die meisten modernen Browserversionen keine Java-Applets mehr, und sogar die aktuellen Java-Versionen betrachten Applets als "deprecated" (veraltet). Wenn/falls es die Zeit erlaubt, möchte ich in der ferneren Zukunft einen Teil der Software für HTML5 neu implementieren.


© Christian Gottschall / christian.gottschall@posteo.de / 2018-03-27