Indenumerability And Substitutional Quantification

Lógica	Matemáticas	Astronomía y Astrofísica	Física	Química	Ciencias de la Vida
Ciencias de la Tierra y Espacio	Ciencias Agrarias	Ciencias Médicas	Ciencias Tecnológicas	Antropología	Demografía
Ciencias Económicas	Geografía	Historia	Ciencias Jurídicas y Derecho	Lingüística	Pedagogía
Ciencia Política	Psicología	Artes y Letras	Sociología	Ética	Filosofía

Indenumerability and substitutional quantification.

1) La descarga del recurso depende de la página de origen
2) Para poder descargar el recurso, es necesario ser usuario
registrado en Universia

Descargar recurso

Detalles del recurso

Pertenece a: Project Euclid (Hosted at Cornell University Library)

Descripción:

Autor(es): Hugly, Philip - Sayward, Charles -

Id.: 980329

Idioma: inglés -

Versión: 1.0

Estado: Final

Tipo: application/pdf -

Palabras clave: 03B10 -

Tipo de recurso: Text -

Tipo de Interactividad: Expositivo

Nivel de Interactividad: muy bajo

Audiencia: Estudiante - Profesor - Autor -

Estructura: Atomic

Coste: no

Copyright: sí

Formatos: application/pdf -

Requerimientos técnicos: Browser: Any -

Relación: [References] 0029-4527
[References] 1939-0726

Fecha de contribución: 23-sep-2011

Contacto:

Localización:
* Notre Dame J. Formal Logic 23, no. 4 (1982), 358-366
* doi:10.1305/ndjfl/1093870148

Otros recursos del mismo autor(es)

The Sayward family, being the history and genealogy of Henry Sayward of York, Maine, and his descendants : with a brief account of other Saywards who settled in America Henry Sayward came to Massachusetts from England in 1637. He lived in Hampton and Portsmouth, New H...
Completeness theorems for two propositional logics in which identity diverges from mutual entailment.
Reflections on an extensionality theorem.
A semantical account of the vicious circle principle.
Do we need quantification?

Otros recursos de la misma colección

General Models and Entailment Semantics for Independence Logic We develop a semantics for independence logic with respect to what we will call general models. We t...
Galvin’s “Racing Pawns” Game, Internal Hyperarithmetic Comprehension, and the Law of Excluded Middle We show that the fact that the first player (“white”) wins every instance of Galvin’s “racing pawns”...
Degrees of Categoricity and the Hyperarithmetic Hierarchy We study arithmetic and hyperarithmetic degrees of categoricity. We extend a result of E. Fokina, I....
Complementation in Representable Theories of Region-Based Space Through contact algebras we study theories of mereotopology in a uniform way that clearly separates ...
Lattices of Theories in Languages without Equality If $\mathbf{S}$ is a semilattice with operators, then there is an implicational theory $\mathscr{Q}$...

Valoración de los usuarios

No hay ninguna valoración para este recurso.Sea el primero en valorar este recurso.