Modal logic model checker Meth8/VŁ4 in production

Meth8/VŁ4 implements Łukasiewicz' B4 quaternary logic of the four-valued 2-tuple {11, 10, 01, 00} as {proof, falsity, truthity, contradiction}.

Results of testing over 1000 assertions in 200 artifacts of math and physics, with a 77% refutation rate, are at ( and in over 90 papers at by Colin James III.

Pricing is $97 per academic seat.

BTW, we invented a novel way to meter product usage but without web-site key access or asymmetric key encryption, so the installer and wrapper is exportable and not subject to ITARS.

Colin: (719) 210-9534; info@cec-services dot com


Modal logic model checker Meth8/VŁ4 shipping

Manifest of files distributed in current release 2019 June 4 ver 10 (2019.06.04.10):

1. Install programs:


2. Logic system parameter file:

meth8_parameter_file.txt.bak (backup)

3. $ 99.97 program of 4 propositional variables (p...s),
4 theorems (A...D):


4. $149.97 program of 11 propositional variables (p...z),
no theorems:

M8_00.exe (companion program to M8_04.exe)

5. Meth8 input file for equations:

METH8_INPUT_FILE.txt.bak (backup)

6. Parsing anomalies:


Standard discounts apply to qualified resellers and university labs.

Copyrighted 2019 by Colin James III All rights reserved.