| Publication | Date of Publication | Type |
|---|
| Quantum probability: a reliable tool for an agent or a reliable source of reality? | 2023-12-14 | Paper |
| Quantum field logic | 2022-11-04 | Paper |
| An equational theory for \(\sigma \)-complete orthomodular lattices | 2022-07-18 | Paper |
| On an explicit representation of the Łukasiewicz sum as a quantum operation | 2019-08-14 | Paper |
| Book review of: M. L. Dalla Chiara et al., Quantum computation and logic. How quantum computers have inspired logical investigations | 2019-07-03 | Paper |
| FREDKIN AND TOFFOLI QUANTUM GATES: FUZZY REPRESENTATIONS AND COMPARISON | 2019-06-14 | Paper |
| The Cantor-Bernstein-Schröder theorem via universal algebra. | 2019-04-30 | Paper |
| Approximate transformations of bipartite pure-state entanglement from the majorization lattice | 2018-11-13 | Paper |
| Pattern recognition in non-Kolmogorovian structures | 2018-10-31 | Paper |
| Fuzzy approach to quantum Fredkin gate | 2018-09-28 | Paper |
| Semilattices global valuations in the topos approach to quantum mechanics | 2018-02-27 | Paper |
| Fuzzy type representation of the Fredkin gate in quantum computation with mixed states | 2018-02-05 | Paper |
| Kripke style semantic for the logic of two valued-states | 2018-02-05 | Paper |
| FUZZY APPROACH FOR CNOT GATE IN QUANTUM COMPUTATION WITH MIXED STATES | 2017-01-16 | Paper |
| Physical properties as modal operators in the topos approach to quantum mechanics | 2015-04-29 | Paper |
| Fuzzy approach for Toffoli gate in quantum computation with mixed states | 2015-03-25 | Paper |
| A categorical equivalence for bounded distributive quasi lattices satisfying: x ∨ 0 = 0 ⇒ x = 0 | 2014-11-25 | Paper |
| Logical approach for two-valued states on quantum systems | 2014-11-19 | Paper |
| Two-valued states on Baer \(^\ast\)-semigroups | 2014-04-24 | Paper |
| Quantum mechanics and the interpretation of the orthomodular square of opposition | 2014-04-23 | Paper |
| Interpreting the Modal Kochen-Specker theorem: possibility and many worlds in quantum mechanics | 2014-03-03 | Paper |
| Equational type characterization for \(\sigma\)-complete MV-algebras. | 2013-07-12 | Paper |
| The Square of Opposition in Orthomodular Logic | 2013-04-11 | Paper |
| Quantum computational logic with mixed states | 2013-04-09 | Paper |
| Equational characterization for two-valued states in orthomodular quantum systems | 2012-06-26 | Paper |
| Logics from \(\sqrt{\prime}\) quasi-MV algebras | 2012-06-20 | Paper |
| Completion and amalgamation of bounded distributive quasi lattices | 2011-03-07 | Paper |
| Many worlds and modality in the interpretation of quantum mechanics: An algebraic approach | 2011-01-24 | Paper |
| Quantum computational structures: Categorical equivalence for square root \(\mathrm{qMV}\)-algebras | 2010-12-01 | Paper |
| A discriminator variety of Gödel algebras with operators arising in quantum computation | 2009-11-17 | Paper |
| The algebraic structure of an approximately universal system of quantum computational gates | 2009-10-21 | Paper |
| Two cooperative versions of the guessing secrets problem | 2009-10-01 | Paper |
| Categories of semigroups in quantum computational structures | 2009-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3632247 | 2009-06-23 | Paper |
| Modal-type orthomodular logic | 2009-06-11 | Paper |
| Pavelka-style completeness in expansions of Łukasiewicz logic | 2008-08-20 | Paper |
| A topological study of contextuality and modality in quantum mechanics | 2008-04-21 | Paper |
| On some properties of quasi-MV algebras and \(\sqrt{^{\prime}}\) quasi-MV algebras. II. | 2008-01-16 | Paper |
| Scopes and limits of modality in quantum mechanics | 2007-01-24 | Paper |
| Fuzzy propositional logic associated with quantum computational gates | 2006-09-28 | Paper |
| [https://portal.mardi4nfdi.de/wiki/Publication:3366657 An Algebraic Version of the Cantor-Bernstein-Schr�der Theorem] | 2006-02-14 | Paper |
| Injectives in residuated algebras | 2006-01-17 | Paper |
| Contextual logic for quantum systems | 2005-06-30 | Paper |
