QL(C^n) determines n

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

This addendum to math.LO/0412144 shows that the set of tautological quantum logical propositional formulas for a finite dimensional vector space C^n is different for every n, affirmatively answering a question posed therein.
4 pages

Keywords

Logic

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/111597

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/0604373
 http://arxiv.org/abs/math/0604373

Collections

arXiv