Predicate logic tool built in Java #Predicate logic #QEDEQ module #Hilbert II functionality #Predicate #Logic #QEDEQ
Principia Mathematica II is designed as a simple and handy utility that is capable of first order predicate logic and shows the main features and functionality of Hilbert II.
Principia Mathematica II presents the logic foundation of this project. It works with (prototype) QEDEQ module files located anywhere in the internet.
The protocols http and ftp are used, also local files can be specified. After the input of an URL of a QEDEQ module the local file buffer is searched.
If the requested QEDEQ file was not found, a download of the file specified by the URL is started and the result is saved in the local file buffer.
Afterwards the QEDEQ module is loaded and checked for formal correctness. If other QEDEQ modules are referenced these are also loaded.
Not until all necessary QEDEQ modules were successfully loaded and checked the originally specified QEDEQ module gets it's "green correctness point". In case of an error a detailed problem description is given and the problematic position in the corresponding module is shown.
System requirements
Principia Mathematica II 0.00.53
add to watchlist add to download basket send us an update REPORT- runs on:
- Windows All
- file size:
- 1 KB
- main category:
- Science / CAD
- developer:
- visit homepage
Windows Sandbox Launcher
IrfanView
Context Menu Manager
calibre
Bitdefender Antivirus Free
7-Zip
4k Video Downloader
Zoom Client
ShareX
Microsoft Teams
- Zoom Client
- ShareX
- Microsoft Teams
- Windows Sandbox Launcher
- IrfanView
- Context Menu Manager
- calibre
- Bitdefender Antivirus Free
- 7-Zip
- 4k Video Downloader