Switch to: References

Citations of:

Logic for Gray-code Computation

, , &
In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 69-110 (2016)

Add citations

You must login to add citations.
  1. A Note on Two’s Company: “The Humbug of Many Logical Values”.Daniel Skurt - 2017 - Logica Universalis 11 (3):401-407.
    The present note offers a proof for separating the truth-values of an arbitrary finitely many valued Łukasiewicz logic by making use of Gray codes.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

CDP Phiosophy Documentation Center
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation

Server: philpapers-web-9b866bbb8-jltg9 uwo