Most axiomatizations of set theory that have been treated metamathematically have been based either entirely on classical logic or entirely on intuitionistic logic. But a natural conception of the set-theoretic universe is as an indefinite (or potential) totality, to which intuitionistic logic is more appropriately applied, while each set is taken to be a definite (or completed) totality, for w...

Many aspects of digital circuit operation can be efficiently verified by simulating circuit operation over “weakened” state values. This technique has long been practiced with logic simulators, using the value X to indicate a signal that could be either 0 or 1. This concept can be formally extended to a wider class of circuit models and signal values, yielding lattice-structured state domains. ...

transcendental leadership is a new paradigm in management and leadership that is the best way to deal with today dynamic, changing and turbulent environments. transcendent leaders make the ethical foundation of organizations and have strategic leads. these leaders look at the organizations as a whole that lead others, themselves and the organization. a transcendental leader is a strategic leade...