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

By rephrasing quantifier-free axioms as rules of derivation in sequent calculus, we show that the generalized Steiner–Lehmus theorem admits a direct proof in classical logic. This provides a partial answer to a question raised by Sylvester in 1852. We also present some comments on possible intuitionistic approaches.

Pertenece a

Project Euclid (Hosted at Cornell University Library)  

Autor(es)

Pambuccian, Victor - 

Id.: 70828093

Idioma: inglés  - 

Versión: 1.0

Estado: Final

Tipo:  application/pdf - 

Palabras claveSteiner–Lehmus theorem - 

Tipo de recurso: Text  - 

Tipo de Interactividad: Expositivo

Nivel de Interactividad: muy bajo

Audiencia: Estudiante  -  Profesor  -  Autor  - 

Estructura: Atomic

Coste: no

Copyright: sí

: Copyright 2018 University of Notre Dame

Formatos:  application/pdf - 

Requerimientos técnicos:  Browser: Any - 

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

Fecha de contribución: 06-ene-2018

Contacto:

Localización:
* Notre Dame J. Formal Logic 59, no. 1 (2018), 75-90
* doi:10.1215/00294527-2017-0019

Otros recursos que te pueden interesar

  1. Effects of amino acid supplementation of lysine and methionine on body biochemical composition and amino acid profile of Sobaity sea bream (Sparidentex hasta) juveniles In this study that lasted to 8 weeks, was conducted to determine the effects of dietary supplementat...
  2. Ecological study of zooplankton communities in the Persian Gulf Martyrs Lake (Chitgar-Tehran) and the first report of the freshwater jellyfish Craspedacusta sp. (Cnidaria, Limnomedusae) in Iran This study focused on zooplankton structure, biodiversity, relationship between a biotic parameters ...
  3. The effect of different feeding rates on growth indices, feed conversion ratio and body composition of Oriental River prawn Macrobrachium nipponense (De Haan, 1849) This research was carried out in accordance with identification of effects of different feeding rate...
  4. Study algicidial activity of 6 species (of) seaweed from Persian Gulf on growth (of) Cochlodinium polykrikoides Harmful algal blooms resulting in red discoloration of coastal waters in the Persian Gulf, Iran were...
  5. The evaluation of the quality of beta-carotene derived from Azolla filiculoides in the Anzali Wetland using the alkaline hydrolysis method in summer The present project was aimed at determining the content, quality, and purity of β-carotene extracte...

Otros recursos de la mismacolección

  1. Errata
  2. Invariance and Definability, with and without Equality The dual character of invariance under transformations and definability by some operations has been ...
  3. On the Jumps of the Degrees Below a Recursively Enumerable Degree We consider the set of jumps below a Turing degree, given by $\mathsf{JB}(\mathbf{a})=\{\mathbf{x}':...
  4. Cardinality and Acceptable Abstraction It is widely thought that the acceptability of an abstraction principle is a feature of the cardinal...
  5. Classifications of Computable Structures Let $\mathcal{K}$ be a family of structures, closed under isomorphism, in a fixed computable languag...

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.