Review: John P. Kimball, Predicates Definable over Transformational Derivations by Intersection with Regular Languages [Book Review]

Journal of Symbolic Logic 34 (1):137-137 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

On restrictions on transformational grammars reducing the generative power.Theo Janssen, Gerard Kok & Lambert Meertens - 1977 - Linguistics and Philosophy 1 (1):111 - 118.
The Relationship of Derivations in Artificial Languages to Ordinary Rigorous Mathematical Proof.J. Azzouni - 2013 - Philosophia Mathematica 21 (2):247-254.
Squares of regular languages.Gerhard Lischke - 2005 - Mathematical Logic Quarterly 51 (3):299.
Expansions of ordered fields without definable gaps.Jafar S. Eivazloo & Mojtaba Moniri - 2003 - Mathematical Logic Quarterly 49 (1):72-82.
Restorations of punctured languages and similarity of languages.Gerhard Lischke - 2006 - Mathematical Logic Quarterly 52 (1):20-28.
Minimal predicates, fixed-points, and definability.Johan van Benthem - 2005 - Journal of Symbolic Logic 70 (3):696-712.
Minimal Predicates. Fixed-Points, and Definability.Johan Van Benthem - 2005 - Journal of Symbolic Logic 70 (3):696 - 712.
Elementary equivalence of some rings of definable functions.Vincent Astier - 2008 - Archive for Mathematical Logic 47 (4):327-340.
Abelian groups with modular generic.James Loveys - 1991 - Journal of Symbolic Logic 56 (1):250-259.
Is English really a formal language?Robin Cooper - unknown
Must Synonymous Predicates be Coextensive?Charles Sayward - 1981 - Logique Et Analyse 95 (95):430-435.
Cut-Elimination in the Strict Intersection Type Assignment System is Strongly Normalizing.Steffen van Bakel - 2004 - Notre Dame Journal of Formal Logic 45 (1):35-63.
Temporal propositions as regular languages.Tim Fernando - unknown
Review: Andrzej Mostowski, On a Set of Integers Not Definable by Means of One-Quantifier Predicates. [REVIEW]Martin Davis - 1950 - Journal of Symbolic Logic 15 (2):135-135.

Analytics

Added to PP
2013-11-22

Downloads
8 (#1,325,033)

6 months
2 (#1,206,551)

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

No references found.

Add more references