Holistic and compositional logics based on the Bertini gate (Q2153998): Difference between revisions

@@ 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/s10699-020-09703-y
+Normal rank
@@ Property / OpenAlex ID @@
+W3091781725
@@ Property / OpenAlex ID: W3091781725 / rank @@
+Normal rank
@@ Property / cites work @@
+Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
+Normal rank
@@ Property / cites work @@
+QUANTUM COMPUTATIONAL FINITE-VALUED LOGICS
@@ Property / cites work: QUANTUM COMPUTATIONAL FINITE-VALUED LOGICS / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum conservative many-valued computing
@@ Property / cites work: Quantum conservative many-valued computing / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Analysis of Many Valued Logics
@@ Property / cites work: Algebraic Analysis of Many Valued Logics / rank @@
+Normal rank
@@ Property / cites work @@
+A New Proof of the Completeness of the Lukasiewicz Axioms
+Normal rank
@@ Property / cites work @@
+LOGICS FROM QUANTUM COMPUTATION
@@ Property / cites work: LOGICS FROM QUANTUM COMPUTATION / rank @@
+Normal rank
@@ Property / cites work @@
+A many-valued approach to quantum computational logics
+Normal rank
@@ Property / cites work @@
+Conservative logic
@@ Property / cites work: Conservative logic / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy representation of finite-valued quantum gates
+Normal rank
@@ Property / cites work @@
+Q5539752
@@ Property / cites work: Q5539752 / rank @@
+Normal rank
@@ Property / cites work @@
+A logical analysis of quantum voting protocols
@@ Property / cites work: A logical analysis of quantum voting protocols / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2153998