The disjunction between Catullus 2 and 2b was first noted by Aquiles Estaço (Achilles Statius) in 1566; however, the first printed edition to show a lacuna between poems 2 and 2b (by the editor Karl Lachmann) appeared quite late, in 1829.
More formally, a quantum logic is a set of events that is closed under a countable disjunction of countably many mutually exclusive events.
Proof-theoretic paraconsistent logics usually deny the validity of one of the steps necessary for deriving an explosion, typically including disjunctive syllogism, disjunction introduction, and reductio ad absurdum.