Andre Kornell
From MaRDI portal
Person:2088111
Available identifiers
zbMath Open kornell.andreMaRDI QIDQ2088111
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Discrete quantum structures. II: Examples | 2024-04-08 | Paper |
| Discrete quantum structures. I: Quantum predicate logic | 2024-04-08 | Paper |
| Axioms for the category of Hilbert spaces and linear contractions | 2024-04-06 | Paper |
| Completely hereditarily atomic OMLs | 2023-08-16 | Paper |
| On the structure of modal and tense operators on a boolean algebra | 2023-08-16 | Paper |
| A category of quantum posets | 2022-10-21 | Paper |
| Axioms for the category of Hilbert spaces | 2021-09-15 | Paper |
| A natural deduction system for orthomodular logic | 2021-09-11 | Paper |
| Semantics for Variational Quantum Programming | 2021-07-28 | Paper |
| A category of quantum posets | 2021-01-26 | Paper |
| Quantum sets | 2020-12-17 | Paper |
| Discrete quantum structures | 2020-04-09 | Paper |
| Quantum extensions of ordinary maps | 2020-03-25 | Paper |
| A complete system of deduction for Sigma formulas | 2018-07-04 | Paper |
| Quantum collections | 2017-11-29 | Paper |
| The transfinite mean | 2017-08-22 | Paper |
| On sequents of $\Sigma$ formulas | 2017-04-26 | Paper |
| V*-algebras | 2015-02-05 | Paper |
| Quantum Functions | 2011-01-09 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Andre Kornell
