Predicates Definable over Transformational Derivations by Intersection with Regular Languages

Journal of Symbolic Logic 34 (1):137-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: 92,471

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.
Squares of regular languages.Gerhard Lischke - 2005 - Mathematical Logic Quarterly 51 (3):299.
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.
The Relationship of Derivations in Artificial Languages to Ordinary Rigorous Mathematical Proof.J. Azzouni - 2013 - Philosophia Mathematica 21 (2):247-254.
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.
Abelian groups with modular generic.James Loveys - 1991 - Journal of Symbolic Logic 56 (1):250-259.
Restorations of punctured languages and similarity of languages.Gerhard Lischke - 2006 - Mathematical Logic Quarterly 52 (1):20-28.
Normal form of derivations in the nonassociative and commutative lambek calculus with product.Maciej Kandulski - 1993 - Mathematical Logic Quarterly 39 (1):103-114.
Must Synonymous Predicates be Coextensive?Charles Sayward - 1981 - Logique Et Analyse 95 (95):430-435.
The internal consistency of Easton’s theorem.Sy-David Friedman & Pavel Ondrejovič - 2008 - Annals of Pure and Applied Logic 156 (2):259-269.
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.

Analytics

Added to PP
2015-02-05

Downloads
5 (#1,546,433)

6 months
5 (#649,106)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Universal semantics?Richard Routley - 1975 - Journal of Philosophical Logic 4 (3):327 - 356.

Add more citations

References found in this work

No references found.

Add more references