Propositional superposition logic
From MaRDI portal
Publication:5384364
DOI10.1093/jigpal/jzx054zbMath1499.03005OpenAlexW2769644442MaRDI QIDQ5384364
Publication date: 24 June 2019
Published in: Logic Journal of the IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzx054
regularassociative\(\neg\)-decreasing choice functions/orderingschoice function for pairs of sentenceslogical connective for superpositionpropositional superposition logics
Related Items (2)
A new connective in natural deduction, and its application to quantum computing ⋮ Algebraic semantics for propositional superposition logic
This page was built for publication: Propositional superposition logic