The problematic features of Quine's 'set' theories NF and ML are a result of his replacing the higher-order predicate logic of type theory by a first-order logic of membership, and can be resolved by ...

This Design Idea describes a new class of logic gates, which we have named resistor-FET-logic, aka “RFL.” How do we know it is new? While FET switches are common today, we have been unable to find a ...

We develop the theory of partial satisfaction relations for structures that may be proper classes and define a satisfaction predicate (╞*) appropriate to such structures. We indicate the utility of ...