Mathematical Logic And Computing

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Mathematical Logic And Computing.

• Vector logic — An algebraic representation of logical truth values and connectives as vectors and matrices acting on a finite-dimensional space.