Natural Deduction: A Proof-Theoretical Study

Main
Mathematics - Logic
Natural Deduction: A Proof-Theoretical...

Natural Deduction: A Proof-Theoretical Study

Dag Prawitz

4.0 / 0

¿Qué tanto le ha gustado este libro?

¿De qué calidad es el archivo descargado?

Descargue el libro para evaluar su calidad

¿Cuál es la calidad de los archivos descargados?

This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form - a concept with significant implications to proof-theoretic semantics.

Categorías:

Mathematics - Logic

Año:

2006

Idioma:

english

Páginas:

109

Archivo:

PDF, 3.75 MB

IPFS:

,

english, 2006

Leer en línea

Conversión a en curso

La conversión a ha fallado

También le puede interesar

Per Martin-Löf — Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)

Raymond M. Smullyan — Analytic Natural Deduction

Mueller Anderson, J. , Johnstone, H. — Natural Deduction, The Logical Basis of Axiom Systems

Anderson J.M., Johnstone H.W — Natural deduction: the logical basis of axiom systems

Albert C. Leisenring — Mathematical Logic and Hilbert’s Epsilon-Symbol

Hilbert David, Wilhelm Ackermann — The Principles of Mathematical Logic

Quine W. V. O — On Natural Deduction

Willard Van Orman Quine — Methods of Logic

Stewart Shapiro — Foundations without Foundationalism: A Case for Second-Order Logic

Colin McGinn — Logical Properties: Identity, Existence, Predication, Necessity, Truth

Paolo Mancosu — The Philosophy of Mathematical Practice

David Bostock — Intermediate Logic

Stewart Shapiro — Thinking about mathematics: the philosophy of mathematics

Paolo Mancosu, Sergio Galvan, Richard Zach — An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort — Kurt Gödel: Collected Works: Volume I: Publications 1929-1936

Jon Barwise, John Etchemendy — The Liar: An Essay on Truth and Circularity

Ian Mueller — Philosophy of Mathematics and Deductive Structure in Euclid’s Elements

Hartley Rogers — Theory of Recursive Functions and Effective Computability

Grigori Mints — Short Introduction to Intuitionistic Logic

G.E.Hughes, M.J.Cresswell — A New Introduction to Modal Logic

Hilary Putnam — Philosophy of Logic

Gaisi Takeuti, 竹内外史 — Proof Theory

Bart Jacobs — Categorical Logic and Type Theory

Piergiorgio Odifreddi — Classical Recursion Theory: Volume II

M.E. Szabo (Eds.) — The Collected Papers of Gerhard Gentzen

Dag Prawitz, Brian Skyrms, Dag Westerstahl (eds.) — Logic, Methodology and Philosophy of Science IX: Proceedings, Uppsala, 1991

Patrick Suppes — Introduction to Logic

Dag Prawitz — Natural deduction: A proof-theoretical study

C.C. Chang, H. Jerome Keisler — Model Theory: Third Edition

Gaisi Takeuti — Proof Theory

Angelo Margaris — First Order Mathematical Logic

Richard W. Kaye — The Mathematics of Logic. A guide to completeness theorems and their applications

Stephen G. Simpson — Subsystems of Second Order Arithmetic

Geoffrey Hunter — Metalogic: An Introduction to the Metatheory of Standard First Order Logic

Sara Negri, Jan von Plato; Aarne Ranta (Appendix) — Structural Proof Theory

J. Lambek, P. J. Scott — Introduction to Higher-Order Categorical Logic

Jean-Yves Girard, Yves Lafont, Paul Taylor — Proofs and Types

Venema, Yde; Rijke, Maarten de; Blackburn, Patrick — Modal logic

Jean-Yves Girard, Yves Lafont, Laurent Regnier — Advances in linear logic

Harold Simmons — Derivation and Computation: Taking the Curry-Howard Correspondence Seriously

A. S. Troelstra, H. Schwichtenberg — Basic Proof Theory

Willard Van Orman Quine — Set Theory and Its Logic

Términos más frecuentes

Listas de libros relacionados