Abstract: Traditionally, in logic, only unary and binary operations are used as basic ones-e.g., "not", "and", "or"-while the only ternary (and higher order) operations are the operations which come ...