The Deduction Theorem for Quantum Logic--Some Negative Results

Malinowski, Jacek

J. Symbolic Logic, Tome 55 (1990) no. 1, p. 615-625 / Harvested from Project Euclid

Résumé

We prove that no logic (i.e. consequence operation) determined by any class of orthomodular lattices admits the deduction theorem (Theorem 2.7). We extend those results to some broader class of logics determined by ortholattices (Corollary 2.6).

Publié le : 1990-06-14
Classification:

@article{1183743318,
     author = {Malinowski, Jacek},
     title = {The Deduction Theorem for Quantum Logic--Some Negative Results},
     journal = {J. Symbolic Logic},
     volume = {55},
     number = {1},
     year = {1990},
     pages = { 615-625},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183743318}
}

Malinowski, Jacek. The Deduction Theorem for Quantum Logic--Some Negative Results. J. Symbolic Logic, Tome 55 (1990) no. 1, pp.  615-625. http://gdmltest.u-ga.fr/item/1183743318/