Matrix Logic