Authors: Colin James III
From the summary of standard and mutual induction and coinduction, we evaluated four formulas with non tautologous and hence refutations. Therefore these are non tautologous fragments of the universal logic VŁ4.
Comments: 2 Pages. © Copyright 2019 by Colin James III All rights reserved. Respond to author by email only: info@cec-services dot com. See updated abstract at ersatz-systems.com. (We warn troll Mikko at Disqus to read the article four times before hormonal typing.)
[v1] 2019-03-18 17:46:27
Unique-IP document downloads: 18 times
You are equally welcome to be positive or negative about any paper but please be polite. If you are being critical you must mention at least one specific error, otherwise your comment will be deleted as unhelpful.