On Stop‐Conditions in the Definitions of Constructive Languages

Mathematical Logic Quarterly 11 (1):61-73 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19650110107

Links

PhilArchive



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

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

Non-deterministic inductive definitions.Benno van den Berg - 2013 - Archive for Mathematical Logic 52 (1-2):113-135.
Cn-definitions of propositional connectives.Witold A. Pogorzelski & Piotr Wojtylak - 2001 - Studia Logica 67 (1):1-26.
On defining “mental disorder”: Purposes and conditions of adequacy.Bengt Brülde - 2010 - Theoretical Medicine and Bioethics 31 (1):19-33.
Busting a Myth about Leśniewski and Definitions.Rafal Urbaniak & K. Severi Hämäri - 2012 - History and Philosophy of Logic 33 (2):159-189.
Constructive Empiricism and Modal Nominalism.Monton Bradley & Fraassen Bas C. Van - 2003 - British Journal for the Philosophy of Science 54 (3):405 - 422.
Restorations of punctured languages and similarity of languages.Gerhard Lischke - 2006 - Mathematical Logic Quarterly 52 (1):20-28.
On the formal points of the formal topology of the binary tree.Silvio Valentini - 2002 - Archive for Mathematical Logic 41 (7):603-618.
When is circularity in definitions benign?J. A. Burgess - 2007 - Philosophical Quarterly 58 (231):214–233.
In defence of honour.Kwame Anthony Appiah & Julian Baggini - 2011 - The Philosophers' Magazine 53 (53):22-31.
A contextual type theory with judgemental modalities for reasoning from open assumptions.Giuseppe Primiero - 2012 - Logique and Analyse 220:579-600.
On constructive-engagement strategy of comparative philosophy: A journal theme introduction [abstract].Bo Mou - 2010 - Comparative Philosophy 1 (1):1-32.
Research note: 29 1/2 definitions of politics.T. J. Donahue - manuscript
Learning correction grammars.Lorenzo Carlucci, John Case & Sanjay Jain - 2009 - Journal of Symbolic Logic 74 (2):489-516.
Constructive empiricism and modal metaphysics: A reply to Monton and Van Fraassen.James Ladyman - 2004 - British Journal for the Philosophy of Science 55 (4):755-765.

Analytics

Added to PP
2013-11-24

Downloads
5 (#1,544,164)

6 months
1 (#1,477,342)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Computability & unsolvability.Martin Davis - 1958 - New York: Dover Publications.

Add more references