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.

Most recent:

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].

Supporting and other papers:

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₁₀ integers into base_φ, formerly radix_τ, or to other number bases, in Standard Format with minimal 1's. How to do arithmetic in Standard Format.

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 .