Logics from \(\sqrt{\prime}\) quasi-MV algebras (Q429939): Difference between revisions

The aim of the paper under review is to extend the scope of investigations on abstract logics called quasi-MV-algebras (qMV-algebras for short), and \(\sqrt{'}\) qMV-algebras. Such logical structures appear in the study of foundation of quantum computing. The paper is a continuation of a series papers of the four main representatives from Sardinia.

0 references

reviewed by

Anatolij Dvurečenskij

0 references

zbMATH Keywords

\(\sqrt{'}\) qMV-algebra

0 references

qMV-algebra

0 references

algebraic logic

0 references

quantum logic

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/s10773-011-0865-0

0 references

cites work

On subtractive varieties. III: From ideals to congruences

0 references

Q4542516

0 references

Algebras defined from ordered sets and the varieties they generate

0 references

Algebraizable logics

0 references

On some properties of quasi-MV algebras and \(\sqrt{^{\prime}}\) quasi-MV algebras. II.

0 references

The Logic of Quasi-MV Algebras

0 references

Normally presented varieties

0 references

Weakly algebraizable logics

0 references

Fregean logics

0 references

LOGICS FROM QUANTUM COMPUTATION

0 references

Quantum operation, quantum Fourier transform and semi-definite programming

0 references

Quantum computational logic

0 references

Taking degrees of truth seriously

0 references

On the infinite-valued Łukasiewicz logic that preserves degrees of truth

0 references

Q4715441

0 references

Q3222191

0 references

A discriminator variety of Gödel algebras with operators arising in quantum computation

0 references

Expanding quasi-MV algebras by a quantum operator

0 references

Categorical Equivalences for Formula quasi-MV Algebras

0 references

Q3086534

0 references

Quasi-subtractive varieties

0 references

MV-algebras and quantum computation

0 references

Q2706552

0 references

Q3632247

0 references

Quantum computer with mixed states and four-valued logic

0 references

Identifiers

zbMATH Open document ID

1246.81016

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

10.1007/S10773-011-0865-0

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:429939

@@ Property / DOI @@
-.1007/s10773-011-0865-0
@@ Property / DOI: 10.1007/s10773-011-0865-0 / rank @@
-Normal rank
@@ Property / author @@
-Hector Freytes
@@ Property / author: Hector Freytes / rank @@
-Normal rank
@@ Property / author @@
+Hector Freytes
@@ Property / author: Hector Freytes / rank @@
+Normal rank
@@ Property / review text @@
+The aim of the paper under review is to extend the scope of investigations on abstract logics called quasi-MV-algebras (qMV-algebras for short), and \(\sqrt{'}\) qMV-algebras. Such logical structures appear in the study of foundation of quantum computing. The paper is a continuation of a series papers of the four main representatives from Sardinia.
+Normal rank
@@ Property / reviewed by @@
+Anatolij Dvurečenskij
@@ Property / reviewed by: Anatolij Dvurečenskij / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+P10
@@ Property / Mathematics Subject Classification ID: 81P10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G25
@@ Property / Mathematics Subject Classification ID: 03G25 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6048511
@@ Property / zbMATH DE Number: 6048511 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+\(\sqrt{'}\) qMV-algebra
@@ Property / zbMATH Keywords: \(\sqrt{'}\) qMV-algebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+qMV-algebra
@@ Property / zbMATH Keywords: qMV-algebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+algebraic logic
@@ Property / zbMATH Keywords: algebraic logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+quantum logic
@@ Property / zbMATH Keywords: quantum logic / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10773-011-0865-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2463390977
@@ Property / OpenAlex ID: W2463390977 / rank @@
+Normal rank
@@ Property / cites work @@
+On subtractive varieties. III: From ideals to congruences
+Normal rank
@@ Property / cites work @@
+Q4542516
@@ Property / cites work: Q4542516 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras defined from ordered sets and the varieties they generate
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+On some properties of quasi-MV algebras and \(\sqrt{^{\prime}}\) quasi-MV algebras. II.
+Normal rank
@@ Property / cites work @@
+The Logic of Quasi-MV Algebras
@@ Property / cites work: The Logic of Quasi-MV Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Normally presented varieties
@@ Property / cites work: Normally presented varieties / rank @@
+Normal rank
@@ Property / cites work @@
+Weakly algebraizable logics
@@ Property / cites work: Weakly algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Fregean logics
@@ Property / cites work: Fregean logics / rank @@
+Normal rank
@@ Property / cites work @@
+LOGICS FROM QUANTUM COMPUTATION
@@ Property / cites work: LOGICS FROM QUANTUM COMPUTATION / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum operation, quantum Fourier transform and semi-definite programming
+Normal rank
@@ Property / cites work @@
+Quantum computational logic
@@ Property / cites work: Quantum computational logic / rank @@
+Normal rank
@@ Property / cites work @@
+Taking degrees of truth seriously
@@ Property / cites work: Taking degrees of truth seriously / rank @@
+Normal rank
@@ Property / cites work @@
+On the infinite-valued Łukasiewicz logic that preserves degrees of truth
+Normal rank
@@ Property / cites work @@
+Q4715441
@@ Property / cites work: Q4715441 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3222191
@@ Property / cites work: Q3222191 / rank @@
+Normal rank
@@ Property / cites work @@
+A discriminator variety of Gödel algebras with operators arising in quantum computation
+Normal rank
@@ Property / cites work @@
+Expanding quasi-MV algebras by a quantum operator
@@ Property / cites work: Expanding quasi-MV algebras by a quantum operator / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical Equivalences for Formula quasi-MV Algebras
+Normal rank
@@ Property / cites work @@
+Q3086534
@@ Property / cites work: Q3086534 / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-subtractive varieties
@@ Property / cites work: Quasi-subtractive varieties / rank @@
+Normal rank
@@ Property / cites work @@
+MV-algebras and quantum computation
@@ Property / cites work: MV-algebras and quantum computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q2706552
@@ Property / cites work: Q2706552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3632247
@@ Property / cites work: Q3632247 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum computer with mixed states and four-valued logic
+Normal rank
@@ Property / DOI @@
+.1007/S10773-011-0865-0
@@ Property / DOI: 10.1007/S10773-011-0865-0 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:429939