John P. Kimball. Predicates definable over transformational derivations by intersection with regular languages. Information and control, vol. 11 , pp. 177–195 [Book Review]

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271033

Links

PhilArchive



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

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

Review: John P. Kimball, Predicates Definable over Transformational Derivations by Intersection with Regular Languages. [REVIEW]G. H. Matthews - 1969 - Journal of Symbolic Logic 34 (1):137-137.
Predicates Definable over Transformational Derivations by Intersection with Regular Languages.John P. Kimball - 1969 - Journal of Symbolic Logic 34 (1):137-137.
Semigroups in Stable Structures.Yatir Halevi - 2018 - Notre Dame Journal of Formal Logic 59 (3):417-436.
The Relationship of Derivations in Artificial Languages to Ordinary Rigorous Mathematical Proof.J. Azzouni - 2013 - Philosophia Mathematica 21 (2):247-254.
Intersection theory for o-minimal manifolds.Alessandro Berarducci & Margarita Otero - 2001 - Annals of Pure and Applied Logic 107 (1-3):87-119.
On restrictions on transformational grammars reducing the generative power.Theo Janssen, Gerard Kok & Lambert Meertens - 1977 - Linguistics and Philosophy 1 (1):111 - 118.
Squares of regular languages.Gerhard Lischke - 2005 - Mathematical Logic Quarterly 51 (3):299.
Some Properties of Iterated Languages.Shane Steinert-Threlkeld - 2016 - Journal of Logic, Language and Information 25 (2):191-213.
Expansions of ordered fields without definable gaps.Jafar S. Eivazloo & Mojtaba Moniri - 2003 - Mathematical Logic Quarterly 49 (1):72-82.
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.
Normal form of derivations in the nonassociative and commutative lambek calculus with product.Maciej Kandulski - 1993 - Mathematical Logic Quarterly 39 (1):103-114.
Abelian groups with modular generic.James Loveys - 1991 - Journal of Symbolic Logic 56 (1):250-259.
Must Synonymous Predicates be Coextensive?Charles Sayward - 1981 - Logique Et Analyse 95 (95):430-435.

Analytics

Added to PP
2016-06-30

Downloads
29 (#551,494)

6 months
3 (#978,358)

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