4 papers
Predicate and Set Bundles in Multi-valued Logic
Eugene Zhang
In this paper, a new model for multi-valued logic is presented based on the notion of a bundle of predicates. The degree of truth and various logical operations for predicates in o…
A Formula for Derived Sets in General Topology
Eugene Zhang
In this paper, we present a general formula for derived sets in general topology. Consequently, more results can be proved in general topology involving derived sets and isolated p…
Minimal Axiomatization of Boolean Algebras
Eugene Zhang
In this paper, we present a new axiomatic system that is a minimal axiomatization of Boolean algebras. Furthermore, the symmetric difference is shown to be algebraically analogous…
Generalized Von Neumann Universe and Non-Well-Founded Sets
Eugene Zhang
In this paper, a generalized version of the von Neumann universe known as the total universe is proposed to formally introduce non-well-founded sets that include infinitons, semi-i…