TY - RPRT TI - PBNF-transform as a formulation of Propositional Calculus, II AU - Pelle Brooke Borgeke PY - 2026 UR - https://arxiv.org/abs/2602.11848 ID - 2602.11848 ER -