## 4-VL is a multivalued, quaternary, bi-valent logic.## It is based on four-valued bit code (4vbc) that names { 00, 01, 10, 11} as { not bivalent, true, false, bivalent} or { no excluded middle, true, false, excluded middle}.## This site publishes information about 4vbc for software applications, hardware implementations, and philosophical proofs.
General decision procedure for the quantifier prefix of AEA (AEA [2012.01.065: "Theorem Prover for Pedicate Logic of n-Variables", based on a non-standard, bi-valent square of opposition. For the paper, request download by email; for the software demo product, execute and attach the (CDA) described below].
Proof that 4vbc is not a vector space and hence bi-valent. What follows from the tesseract faces for the 18 branches of mathematics is that only these five branches are bi-valent: Geometry and Topology; Information Theory; Game Theory; Cryptology; and Signal Processing. The six bi-valent branches of computer science are: Turing Machine; Software; Hardware; Interface; Sequential State Machine; and Irrational Radix Arithmetic. Source code in True BASIC to convert base A Confidential Disclosure Agreement (CDA), exclusively for entities with venue in USA. A rendering of deceased atheist Karl Popper's proof of the existence of God in 4vbc. For the open standard of 4vbc, working groups, and conferences, please contact below. ## For further information please write: 4-VL@cec-services.com . |
||||||