A discriminator variety of Gödel algebras with operators arising in quantum computation
From MaRDI portal
Publication:1037926
DOI10.1016/J.FSS.2008.08.001zbMath1185.03089OpenAlexW1970432652MaRDI QIDQ1037926
Roberto Giuntini, Antonio Ledda, Hector Freytes, Francesco Paoli
Publication date: 17 November 2009
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2008.08.001
Related Items (2)
A note on many valued quantum computational logics ⋮ Logics from \(\sqrt{\prime}\) quasi-MV algebras
Cites Work
- Ideals in universal algebras
- Varieties with equationally definable principal congruences
- Metamathematics of fuzzy logic
- On subtractive varieties. I
- On the structure of varieties with equationally definable principal congruences. III
- Generalized fuzzy connectives on \(MV\)-algebras
- An unsharp logic from quantum computation
- On the structure of varieties with equationally definable principal congruences. I
- Reasoning in quantum theory. Sharp and unsharp quantum logics.
- Skew Boolean algebras and discriminator varieties
- On subtractive varieties. IV: Definability of principal ideals
- Expanding quasi-MV algebras by a quantum operator
- On some properties of quasi-MV algebras and \(\sqrt{^{\prime}}\) quasi-MV algebras. II.
- MV-algebras and quantum computation
- Categorical Equivalences for Formula quasi-MV Algebras
- LOGICS FROM QUANTUM COMPUTATION
- Ideals and the binary discriminator in universal algebra
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A discriminator variety of Gödel algebras with operators arising in quantum computation
