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


Opción 1: Descargar recurso

Detalles del recurso

Descripción

Pertenece a

Project Euclid (Hosted at Cornell University Library)  

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 mismacolección

  1. Admissible Rules and the Leibniz Hierarchy This paper provides a semantic analysis of admissible rules and associated completeness conditions f...
  2. An Abelian Rule for BCI—and Variations We show the admissibility for $\mathsf{BCI}$ of a rule form of the characteristic implicational axio...
  3. Modal Consequence Relations Extending $\mathbf{S4.3}$ : An Application of Projective Unification We characterize all finitary consequence relations over $\mathbf{S4.3}$ , both syntactically, by exh...
  4. Algebraic Logic Perspective on Prucnal’s Substitution A term $\mathit{td}(p,q,r)$ is called a ternary deductive (TD) term for a variety of algebras $\math...
  5. Unification on Subvarieties of Pseudocomplemented Distributive Lattices In this paper subvarieties of pseudocomplemented distributive lattices are classified by their unifi...

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.