scientific article
From MaRDI portal
Publication:3067641
zbMath1218.03014MaRDI QIDQ3067641
Publication date: 21 January 2011
Full work available at URL: http://pphmj.com/abstract/5169.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Combinatory logic and lambda calculus (03B40)