3 papers
math.LO2026
PBNF-transform as a formulation of Propositional Calculus, II
Pelle Brooke Borgeke
Here we show, in the second paper in a series of articles, methods to calculate propositional statements with algebraic polyno mials as symbols for the connectives, which here are…
math.LO2026
PBNF-transform as a formulation of Propositional Calculus, I
Pelle Brooke Borgeke
Here, in a series of articles, we show methods for calculating propositional statements using algebraic polynomials as symbols for the connectives, which are named operators. These…
math.AP2026
Subprincipal Controlled Quasimodes and Spectral Instability
Pelle Brooke Borgeke
Here we explore, in a series of articles, semiclassical quasimodes u(h,b), approximative solutions P(h)u(h,b)\sim 0, depending on , and on b, the subprincipal symbol. We stu…