dorsal/arxiv
View SchemaFredkin Gates for Finite-valued Reversible and Conservative Logics
| Authors | Gianpiero Cattaneo, Alberto Leporati, Roberto Leporini |
|---|---|
| Categories | |
| ArXiv ID | quant-ph/0205139 |
| URL | https://arxiv.org/abs/quant-ph/0205139 |
| DOI | 10.1088/0305-4470/35/46/304 |
Abstract
The basic principles and results of Conservative Logic introduced by Fredkin and Toffoli on the basis of a seminal paper of Landauer are extended to d-valued logics, with a special attention to three-valued logics. Different approaches to d-valued logics are examined in order to determine some possible universal sets of logic primitives. In particular, we consider the typical connectives of Lukasiewicz and Godel logics, as well as Chang's MV-algebras. As a result, some possible three-valued and d-valued universal gates are described which realize a functionally complete set of fundamental connectives.
{
"annotation_id": "be5ff440-9691-4ef3-9f3a-416fce028bdd",
"date_created": "2026-03-02T18:01:52.426000Z",
"date_modified": "2026-03-02T18:01:52.426000Z",
"file_hash": "940834bbf349faf5a9757648e9e5dda3fd5eb9e7ae4696c68c4e23d219e9339c",
"private": false,
"record": {
"abstract": "The basic principles and results of Conservative Logic introduced by Fredkin\nand Toffoli on the basis of a seminal paper of Landauer are extended to\nd-valued logics, with a special attention to three-valued logics. Different\napproaches to d-valued logics are examined in order to determine some possible\nuniversal sets of logic primitives. In particular, we consider the typical\nconnectives of Lukasiewicz and Godel logics, as well as Chang\u0027s MV-algebras. As\na result, some possible three-valued and d-valued universal gates are described\nwhich realize a functionally complete set of fundamental connectives.",
"arxiv_id": "quant-ph/0205139",
"authors": [
"Gianpiero Cattaneo",
"Alberto Leporati",
"Roberto Leporini"
],
"categories": [
"quant-ph"
],
"doi": "10.1088/0305-4470/35/46/304",
"title": "Fredkin Gates for Finite-valued Reversible and Conservative Logics",
"url": "https://arxiv.org/abs/quant-ph/0205139"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "f40853cc-432c-4ba7-81b8-70607d0b40e2",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}