| Publication | Date of Publication | Type |
|---|
Heyting \(\kappa\)-frames
Studia Logica | 2024-09-03 | Paper |
Multi-class classification based on quantum state discrimination
Fuzzy Sets and Systems | 2024-08-19 | Paper |
Quantum probability: a reliable tool for an agent or a reliable source of reality?
Synthese | 2023-12-14 | Paper |
Quantum probability: a reliable tool for an agent or a reliable source of reality?
Synthese | 2023-12-14 | Paper |
| Quantum field logic | 2022-11-04 | Paper |
An equational theory for \(\sigma \)-complete orthomodular lattices
Soft Computing | 2022-07-18 | Paper |
On an explicit representation of the Łukasiewicz sum as a quantum operation
Soft Computing | 2019-08-14 | Paper |
Book review of: M. L. Dalla Chiara et al., Quantum computation and logic. How quantum computers have inspired logical investigations
Studia Logica | 2019-07-03 | Paper |
FREDKIN AND TOFFOLI QUANTUM GATES: FUZZY REPRESENTATIONS AND COMPARISON
Probing the Meaning of Quantum Mechanics | 2019-06-14 | Paper |
The Cantor-Bernstein-Schröder theorem via universal algebra.
Algebra Universalis | 2019-04-30 | Paper |
Approximate transformations of bipartite pure-state entanglement from the majorization lattice
Physica A | 2018-11-13 | Paper |
Pattern recognition in non-Kolmogorovian structures
Foundations of Science | 2018-10-31 | Paper |
Fuzzy approach to quantum Fredkin gate
Journal Of Logic And Computation | 2018-09-28 | Paper |
Semilattices global valuations in the topos approach to quantum mechanics
Soft Computing | 2018-02-27 | Paper |
Fuzzy type representation of the Fredkin gate in quantum computation with mixed states
International Journal of Theoretical Physics | 2018-02-05 | Paper |
Kripke style semantic for the logic of two valued-states
International Journal of Theoretical Physics | 2018-02-05 | Paper |
FUZZY APPROACH FOR CNOT GATE IN QUANTUM COMPUTATION WITH MIXED STATES
Probing the Meaning of Quantum Mechanics | 2017-01-16 | Paper |
Physical properties as modal operators in the topos approach to quantum mechanics
Foundations of Physics | 2015-04-29 | Paper |
Fuzzy approach for Toffoli gate in quantum computation with mixed states
Reports on Mathematical Physics | 2015-03-25 | Paper |
A categorical equivalence for bounded distributive quasi lattices satisfying: \(x\lor 0=0\implies x=0\).
Mathematica Slovaca | 2014-11-25 | Paper |
Logical approach for two-valued states on quantum systems
International Journal of Theoretical Physics | 2014-11-19 | Paper |
Two-valued states on Baer \(^\ast\)-semigroups
Reports on Mathematical Physics | 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
Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics | 2014-03-03 | Paper |
Equational type characterization for \(\sigma\)-complete MV-algebras.
Algebra Universalis | 2013-07-12 | Paper |
The square of opposition in orthomodular logic
Around and Beyond the Square of Opposition | 2013-04-11 | Paper |
Quantum computational logic with mixed states
Mathematical Logic Quarterly | 2013-04-09 | Paper |
Quantum computational logic with mixed states
Mathematical Logic Quarterly | 2013-04-09 | Paper |
Equational characterization for two-valued states in orthomodular quantum systems
Reports on Mathematical Physics | 2012-06-26 | Paper |
Logics from \(\sqrt{\prime}\) quasi-MV algebras
International Journal of Theoretical Physics | 2012-06-20 | Paper |
Completion and amalgamation of bounded distributive quasi lattices
Logic Journal of the IGPL | 2011-03-07 | Paper |
Many worlds and modality in the interpretation of quantum mechanics: an algebraic approach
Journal of Mathematical Physics | 2011-01-24 | Paper |
Many worlds and modality in the interpretation of quantum mechanics: an algebraic approach
Journal of Mathematical Physics | 2011-01-24 | Paper |
Quantum computational structures: Categorical equivalence for square root \(\mathrm{qMV}\)-algebras
Studia Logica | 2010-12-01 | Paper |
A discriminator variety of Gödel algebras with operators arising in quantum computation
Fuzzy Sets and Systems | 2009-11-17 | Paper |
The algebraic structure of an approximately universal system of quantum computational gates
Foundations of Physics | 2009-10-21 | Paper |
Two cooperative versions of the guessing secrets problem
Information Sciences | 2009-10-01 | Paper |
Categories of semigroups in quantum computational structures
Mathematica Slovaca | 2009-08-11 | Paper |
| On some properties of quasi-MV algebras and \(\sqrt '\) quasi-MV algebras | 2009-06-23 | Paper |
Modal-type orthomodular logic
Mathematical Logic Quarterly | 2009-06-11 | Paper |
Pavelka-style completeness in expansions of Łukasiewicz logic
Archive for Mathematical Logic | 2008-08-20 | Paper |
A topological study of contextuality and modality in quantum mechanics
International Journal of Theoretical Physics | 2008-04-21 | Paper |
A topological study of contextuality and modality in quantum mechanics
International Journal of Theoretical Physics | 2008-04-21 | Paper |
On some properties of quasi-MV algebras and \(\sqrt{^{\prime}}\) quasi-MV algebras. II.
Soft Computing | 2008-01-16 | Paper |
Scopes and limits of modality in quantum mechanics
Annalen der Physik | 2007-01-24 | Paper |
Fuzzy propositional logic associated with quantum computational gates
International Journal of Theoretical Physics | 2006-09-28 | Paper |
[https://portal.mardi4nfdi.de/wiki/Publication:3366657 An Algebraic Version of the Cantor-Bernstein-Schr�der Theorem]
Czechoslovak Mathematical Journal | 2006-02-14 | Paper |
Injectives in residuated algebras
Algebra Universalis | 2006-01-17 | Paper |
Contextual logic for quantum systems
Journal of Mathematical Physics | 2005-06-30 | Paper |
