Wednesday, May 22, 2013

 

 



Soy un nuevo usuario

Olvidé mi contraseña

Entrada usuarios

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


A semantical account of the vicious circle principle.

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.: 980516

Idioma: inglés  - 

Versión: 1.0

Estado: Final

Tipo:  application/pdf - 

Palabras clave03B20 - 

Tipo de recurso: Text  - 

Tipo de Interactividad: Expositivo

Nivel de Interactividad: muy bajo

Audiencia: Estudiante  -  Profesor  -  Autor  - 

Estructura: Atomic

Coste: no

Copyright: sí

: Copyright 1979 University of Notre Dame

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 20, no. 3 (1979), 595-598
* doi:10.1305/ndjfl/1093882664


Otros recursos de la misma colección

  1. 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...
  2. 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”...
  3. Degrees of Categoricity and the Hyperarithmetic Hierarchy We study arithmetic and hyperarithmetic degrees of categoricity. We extend a result of E. Fokina, I....
  4. Complementation in Representable Theories of Region-Based Space Through contact algebras we study theories of mereotopology in a uniform way that clearly separates ...
  5. 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.
 

Busque un recurso