Showing math.LOShow all
3 papers · 1 filter
math.LO2026
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…
math.LO2026
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…
math.LO2025
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…