1.2.2
Comparing Logics
home page

The monograph below provides an extensive comparison of boundary logic to conventional logic and Boolean algebra. The second piece is much shorter.

CONVENTIONAL INTERPRETATIONS OF BOUNDARY LOGIC TOOLS
BOOLEAN AND BROWNIAN ALGEBRA

The pieces below compare aspects of boundary logic to conventional techniques of notation, proof, and computation.

boundary math
boundary logic

transforms
∆ comparison
complexity
predicate

links
site structure
TAUTOLOGY CHECKING
COUNTER-EXAMPLE GENERATOR
SHEFFER STROKE
CONCEPT GRAPHS (Sowa)
DISTINCTION NETWORK RELATIONS TO CONNECTIONISM
COMPARISON TO PROLOG