PBNF-transform as a formulation of Propositional Calculus, II
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 named operators. In the first article, we explained this formulation of the Propositional Calculus. In short, we transform to a dual space, which we here refer to as a polynomial family, which is another shape of DBNF. We name the polynomial families as PBNF, which stands for Polynomial Boolean Normal Form. We just use the one law of inference, the rule of Substi tution. We can use different polynomial families in…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2602.11848
curl -X POST /api/v1/records/arxiv/2602.11848/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.11848/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'