Title resolution pending

If there is a derivation Φ BV (𝐴 𝐵)O𝐾 , then there are formulas𝐾 𝐴, 𝐾𝐵, derivations 𝐾 𝐴O𝐾 𝐵 Φ𝐾 BV 𝐾, Φ𝐴 BV 𝐴O𝐾 𝐴, Φ𝐵 BV 𝐵O𝐾 𝐵 , s

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

Title metadata for this work has not finished resolving. The hub is built from the citation graph; the title resolver retries DOI and OpenAlex on its next pass.

representative citing papers

Proof Identity and Categorical Models of BV

cs.LO · 2026-04-28 · unverdicted · novelty 7.0

A definition of proof identity for BV via atomic flows enables a strengthened, sound notion of BV-categories.

citing papers explorer

Showing 1 of 1 citing paper.

Proof Identity and Categorical Models of BV cs.LO · 2026-04-28 · unverdicted · none · ref 2
A definition of proof identity for BV via atomic flows enables a strengthened, sound notion of BV-categories.

Title resolution pending

fields

years

verdicts

representative citing papers

citing papers explorer