#] 
#] *********************
#] "$d_web"'projMin/Colin James - KanbanNN, 4VL logic/0_James 4-valued logic notes.txt'  
# www.BillHowell.ca  18Jan2023 initial 
# view in text editor, using constant-width font (eg courier), tabWidth = 3

#48************************************************48




#24************************24
# Table of Contents, generate with :
# $ grep  "^#]"  "$d_web"'Projects - mini/Colin James - KanbanNN, 4VL logic/0_James 4-valued logic notes.txt' |  sed "s/^#\]/  /" 
#
   *********************
   "$d_web"'Projects - mini/Colin James - KanbanNN, 4VL logic/0_James 4-valued logic notes.txt'  
   18Jan2023 Coercing six-variables out of two in the free student demo of Meth8/VŁ4


#24************************24
# Setup, ToDos,   


#08********08
#] ??Apr2024 


#08********08
#] ??Apr2024 


#08********08
#] ??Apr2024 


#08********08
#] ??Apr2024
 


#08********08
#] 14Apr2024 emrep Colin James (see my email)

mistaken ID of email, I didn't use this :
I am zero at this area, and didn't like Aristotle's "Metaphisics" that I started to read under the strong advice of a local philosopher.  He did his PhD but decided to move to Canada to be with his wife, they both run a board game store now (Mystic the Gathering, D&D, which I've never played).  I dumped the book after only a few chapters.  Of course, my friend said that I should read Aristotle's "Physics" first, and that I might not understand Metaphysics.  

The most important point that you made which I might "shed strange light on" is your "philosophy/theology" thesis.  Colin James in Colorado (I have no idea if he is still alive) built his "Meth-8" software for 4-valued logic.  I bought his software, could reproduce results in my own program if given the data provided, but couldn't figure out the details of how it worked and the data assignments.  A collection of his short papers, concept, and earlier versions is in my web directory : Colin Jame's Meth8-VL4 system
He is/was strongly religious, which is totally fine with me, and often dealt with long-standing philosophical challenges in that area.


#08********08
#] 18Jan2023 Coercing six-variables out of two in the free student demo of Meth8/VŁ4

-------- Forwarded Message --------
Subject:	Theorem prover performance increased by 300%
Date:	Mon, 16 Jan 2023 21:50:36 -0700
From:	info@cec-services.com
To:	

By overloading variables, the flagship theorem prover increased performance by three times.

This means performance of the free student version outperforms the state-of-the-art of all other proof assistants.

Coercing six-variables out of two in the free student demo of Meth8/VŁ4

https://ersatz-systems.com/Digest%202023.01.17.01.pdf
Welcome to disruptive technology.

Colin
-- 
>> I have never been able to proceed with his model.  I need much more guidance.



# enddoc