Controlling witnesses

Annals of Pure and Applied Logic 136 (1-2):22-29 (2005)
  Copy   BIBTEX

Abstract

This paper presents a translation which allows one to describe constructive provability within classical first-order logic

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2005.05.003

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

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

Too Odd (Not) to Be True? A Reply to Olsson.Luc Bovens, Branden Fitelson, Stephan Hartmann & Josh Snyder - 2002 - British Journal for the Philosophy of Science 53 (4):539-563.
Jehovah's Witnesses' refusal of blood: obedience to scripture and religious conscience.D. T. Ridley - 1999 - Journal of Medical Ethics 25 (6):469-472.
Bioethics of the refusal of blood by Jehovah's Witnesses: Part 3. A proposal for a don't-ask-don't-tell policy.O. Muramoto - 1999 - Journal of Medical Ethics 25 (6):463-468.
Controlling Perimeters, Controlling Lives:Israel and Gaza.Sari Bashi - 2013 - Law and Ethics of Human Rights 7 (2):243-282.
Random witnesses and the classical character of macroscopic objects.Itamar Pitowsky - unknown
Choosing to be Stigmatized: Rational calculus in religious conversion.Tudor Pitulac & Sebastian Nastuta - 2007 - Journal for the Study of Religions and Ideologies 6 (16):80-97.
Jehova's Witnesses in Post-Communist Romania: The Relationship Between the Religious Minority and the State (1989-2010).Corneliu Pintilescu & Andrada Fatu-Tutoveanu - 2011 - Journal for the Study of Religions and Ideologies 10 (30):102-126.
“I Have Seen the Lord”.Pheme Perkins - 1992 - Interpretation: A Journal of Bible and Theology 46 (1):31-41.
Guest editorial: Reclaiming the integrity of science in expert witnessing.Bruce D. Sales & Daniel W. Shuman - 1993 - Ethics and Behavior 3 (3 & 4):223 – 229.
Macroscopic objects in quantum mechanics: A combinatorial approach.Itamar Pitowsky - unknown
Effect of sleep on memory: III. Controlling for time-of-day effects.Terry R. Barrett & Bruce R. Ekstrand - 1972 - Journal of Experimental Psychology 96 (2):321.
A method of controlling stimulation for the study of space perception: the optical tunnel.James J. Gibson, Jean Purdy & Lois Lawrence - 1955 - Journal of Experimental Psychology 50 (1):1.
Jehovah's Witnesses and autonomy: honouring the refusal of blood transfusions.Gregory L. Bock - 2012 - Journal of Medical Ethics 38 (11):652-656.

Analytics

Added to PP
2014-01-16

Downloads
9 (#1,258,077)

6 months
3 (#983,674)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Generalizing theorems in real closed fields.Matthias Baaz & Richard Zach - 1995 - Annals of Pure and Applied Logic 75 (1-2):3-23.
The Resolution Calculus.Alexander Leitsch - 2000 - Studia Logica 64 (1):136-136.

Add more references