|Ersatz Systems Machine Cognition, LLC|
|Let the bits speak for themselves.||Home|
|Welcome||Place Order||Articles||Requirements||Bivalent Neuron BVN||Contacts||Acceptable Use|
|Posters||Scalability||φΦ Phigit Computing|
|Slide Shows||Portability||Standard Notation|
|US Patents||Training||Patent Licenses|
|Welcome||Ersatz Systems Machine Cognition, LLC sells services, tools, software, and hardware for bivalent technology:
Method and system for the Kanban cell neuron network, US Patent 9,202,166 (issued 12/01/2015); and Method and system for prediction of time series by Kanban neuron model, US Patent 9,501,737 (issued 11/22/2016).
We license the software Meth8/VŁ4, a modal logic model checker implementing the universal logic system of VŁ4.
All software and hardware services are based on flat rate bids and prices.
The Meth8/VŁ4 modal logic model checker is shipping.
A free student demo program for (p,q) is available.
Products for sale are scaled by the number of propositional variables allowed as 3, 4, and 11: $47 for (p,q,r); $97 for (p,q,r,s) and (A,B,C,D); and $147 for (p-z).
This manifest has further scalability pricing for up to 22-propositional variables in external look up tables on a single 8.5GB CD.
Standard trade discounts apply to qualified resellers.The current abstract with toc and results for 6,100 assertions at a refutation rate of 89.25% is herein. This link updates continuously the list of papers.
(NB: gmail is not read.)