A Note on Monothetic BCI

&
Notre Dame Journal of Formal Logic 47 (4):541-544 (2006)
  Copy   BIBTEX

Abstract

In "Variations on a theme of Curry," Humberstone conjectured that a certain logic, intermediate between BCI and BCK, is none other than monothetic BCI—the smallest extension of BCI in which all theorems are provably equivalent. In this note, we present a proof of this conjecture

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1168352666

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Self-implications in BCI.Tomasz Kowalski - 2008 - Notre Dame Journal of Formal Logic 49 (3):295-305.
Algebraizing A→.Sam Butchart & Susan Rogerson - unknown
Measurement and the justification of the statistical postulate in Bohm's causal interpretation of quantum mechanics.J. Subramanyam - 1997 - Synthese 113 (3):423-445.
On the BCI-Admissibility of an 'Abelian' Rule.Lloyd Humberstone & Tomasz Kowalski - unknown
Psychosocial and Ethical Aspects in Non-Invasive EEG-Based BCI Research—A Survey Among BCI Users and BCI Professionals.Gerd Grübler, Abdul Al-Khodairy, Robert Leeb, Iolanda Pisotta, Angela Riccio, Martin Rohm & Elisabeth Hildt - 2013 - Neuroethics 7 (1):29-41.
Ghost in the Machine: A Philosophical Analysis of the Relationship Between Brain-Computer Interface Applications and their Users.Richard Heersmink - 2009 - Dissertation, University of Twente.
The finite model property for BCI and related systems.Wojciech Buszkowski - 1996 - Studia Logica 57 (2-3):303 - 323.
Beyond the responsibility gap. Discussion note on responsibility and liability in the use of brain-computer interfaces.Gerd Grübler - 2011 - AI and Society 26 (4):377-382.
Brain to computer communication: Ethical perspectives on interaction models. [REVIEW]Guglielmo Tamburrini - 2009 - Neuroethics 2 (3):137-149.
Locked-in Syndrome and BCI - Towards an Enactive Approach to the Self.Miriam Kyselo - 2011 - Neuroethics 6 (3):579-591.
The Asilomar Survey: Stakeholders' Opinions on Ethical Issues Related to Brain-Computer Interfacing. [REVIEW]Femke Nijboer, Jens Clausen, Brendan Z. Allison & Pim Haselager - 2011 - Neuroethics 6 (3):541-578.
Definition and classification of cancer: Monothetic or polythetic?Paolo Vineis - 1993 - Theoretical Medicine and Bioethics 14 (3).
Retraction note for "pdl has interpolation".Tomasz Kowalski - 2004 - Journal of Symbolic Logic 69 (3):935-935.
Did I Do That? Brain–Computer Interfacing and the Sense of Agency.Pim Haselager - 2013 - Minds and Machines 23 (3):405-418.

Analytics

Added to PP
2010-08-24

Downloads
19 (#781,160)

6 months
2 (#1,240,909)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Tomasz Kowalski
La Trobe University

Citations of this work

Self-implications in BCI.Tomasz Kowalski - 2008 - Notre Dame Journal of Formal Logic 49 (3):295-305.
An Abelian Rule for BCI—and Variations.Tomasz Kowalski & Lloyd Humberstone - 2016 - Notre Dame Journal of Formal Logic 57 (4):551-568.

Add more citations

References found in this work

Variations on a Theme of Curry.Lloyd Humberstone - 2006 - Notre Dame Journal of Formal Logic 47 (1):101-131.

Add more references