Normal view MARC view ISBD view

Advances in Proof-Theoretic Semantics (Record no. 48342)

000 -CABECERA
campo de control de longitud fija	04182nam a22004935i 4500
001 - NÚMERO DE CONTROL
campo de control	978-3-319-22686-6
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
campo de control	DE-He213
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control	20190313085128.0
007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL
campo de control de longitud fija	cr nn 008mamaa
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija	151028s2016 gw \| s \|\|\|\| 0\|eng d
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro	9783319226866
--	978-3-319-22686-6
024 7# - IDENTIFICADOR DE OTROS ESTÁNDARES
Número estándar o código	10.1007/978-3-319-22686-6
Fuente del número o código	doi
050 #4 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO
Número de clasificación	BC1-199
072 #7 - CÓDIGO DE CATEGORÍA DE MATERIA
Código de categoría de materia	HPL
Fuente	bicssc
072 #7 - CÓDIGO DE CATEGORÍA DE MATERIA
Código de categoría de materia	PHI011000
Fuente	bisacsh
082 04 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY
Número de clasificación	160
Número de edición	23
245 10 - MENCIÓN DE TÍTULO
Título	Advances in Proof-Theoretic Semantics
Medio	[electronic resource] /
Mención de responsabilidad, etc.	edited by Thomas Piecha, Peter Schroeder-Heister.
264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT
Producción, publicación, distribución, fabricación y copyright	Cham :
Nombre del de productor, editor, distribuidor, fabricante	Springer International Publishing :
--	Imprint: Springer,
Fecha de producción, publicación, distribución, fabricación o copyright	2016.
300 ## - DESCRIPCIÓN FÍSICA
Extensión	VI, 283 p.
Otras características físicas	online resource.
336 ## - TIPO DE CONTENIDO
Término de tipo de contenido	text
Código de tipo de contenido	txt
Fuente	rdacontent
337 ## - TIPO DE MEDIO
Nombre/término del tipo de medio	computer
Código del tipo de medio	c
Fuente	rdamedia
338 ## - TIPO DE SOPORTE
Nombre/término del tipo de soporte	online resource
Código del tipo de soporte	cr
Fuente	rdacarrier
347 ## - CARACTERÍSTICAS DEL ARCHIVO DIGITAL
Tipo de archivo	text file
Formato de codificación	PDF
Fuente	rda
490 1# - MENCIÓN DE SERIE
Mención de serie	Trends in Logic, Studia Logica Library,
Número Internacional Normalizado para Publicaciones Seriadas	1572-6126 ;
Designación de volumen o secuencia	43
505 0# - NOTA DE CONTENIDO CON FORMATO
Nota de contenido con formato	Chapter 1. Introduction; Thomas Piecha & Peter-Schroeder-Heister -- Chapter 2. On Brouwer-Heyting-Kolmogorov provability semantics; Sergei N. Artëmov -- Chapter 3. Two Ways of General Proof Theory; Kosta Došen -- Chapter 4. Generalised elimination rules; Roy Dyckhoff -- Chapter 5. On the proof theoretic foundations of set theory; Lars Hallnäs -- Chapter 6. The choice of semantics as a methodological question; Wilfrid Hodges -- Chapter 7. The mode of presentation; Reinhard Kahle -- Chapter 8. Remarks on relations between Gentzen and Heyting inspired PTS; Dag Prawitz -- Chapter 9. Unification of logics by reflection; Giovanni Sambin -- Chapter 10. BHK and Brouwer's Theory of the Creative Subject; Göran Sundholm -- Chapter 11. Compositional semantics for predicate logic: Eliminating bound variables from formulas and deductions; William W. Tait -- Chapter 12. Intuitionism, the Paradox of Knowability and Empirical Negation; Gabriele Usberti -- Chapter 13. Explicit composition and its application in normalization proofs; Jan von Plato -- Chapter 14. A two-sorted typed lambda-calculus; Heinrich Wansing -- Chapter 15. Kreisel's second clause and the Theory of Constructions; Walter Dean & Hidenori Kurokawa -- Chapter 16. On Paradoxes in Proof-Theoretic Semantics; Yoshihiro Maruyama.
506 0# - NOTA DE RESTRICCIONES AL ACCESO
Limitaciones de acceso	Open Access
520 ## - SUMARIO, ETC.
Sumario, etc.	This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory. The field of proof-theoretic semantics has existed for almost 50 years, but the term itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from presentations at the Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013, where contributing authors were asked to provide a self-contained description and analysis of a significant research question in this area. The contributions are representative of the field and should be of interest to logicians, philosophers, and mathematicians alike.
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada	Philosophy.
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada	Logic.
650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada	Mathematical logic.
650 14 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada	Philosophy.
650 24 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada	Logic.
650 24 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada	Mathematical Logic and Foundations.
650 24 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada	Mathematical Logic and Formal Languages.
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona	Piecha, Thomas.
Término indicativo de función/relación	editor.
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona	Schroeder-Heister, Peter.
Término indicativo de función/relación	editor.
710 2# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE ENTIDAD CORPORATIVA
Nombre de entidad corporativa o nombre de jurisdicción como elemento de entrada	SpringerLink (Online service)
773 0# - ENLACE AL DOCUMENTO FUENTE/ENTRADA DE REGISTRO ANFITRIÓN
Título	Springer eBooks
776 08 - ENTRADA/ENLACE A UN FORMATO FÍSICO ADICIONAL
Información de relación/Frase instructiva de referencia	Printed edition:
Número Internacional Estándar del Libro	9783319226859
830 #0 - PUNTO DE ACCESO ADICIONAL DE SERIE-TÍTULO UNIFORME
Título uniforme	Trends in Logic, Studia Logica Library,
Número Internacional Normalizado para Publicaciones Seriadas	1572-6126 ;
Designación de volumen o secuencia	43
856 40 - LOCALIZACIÓN Y ACCESO ELECTRÓNICOS
Identificador Uniforme del Recurso	<a href="http://dx.doi.org/10.1007/978-3-319-22686-6">http://dx.doi.org/10.1007/978-3-319-22686-6</a>
912 ## -
--	ZDB-2-SMA

No items available.