Open Research Index

PBNF-transform as a formulation of Propositional Calculus, I

Pelle Brooke Borgeke

arXivarxiv/2602.06272Feb 6, 2026math.LOscore 0

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 polynomials originate from the transformation between the principles of duality and the Disjunctive Boolean Normal Form, DBNF, and they appear if we use a geometrization in the unit square and simple algebraic methods, modulo 2. This we call the PBNF-transform. PBNF stands for Polynomial Boolean Normal Form as these families are based on DBNF involved here. In the first paper in this series, we show that…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2602.06272
curl -X POST /api/v1/records/arxiv/2602.06272/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.06272/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'