Markets and Market Logic