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

यह पुस्तक आपको कितनी अच्छी लगी?

फ़ाइल की गुणवत्ता क्या है?

पुस्तक की गुणवत्ता का मूल्यांकन करने के लिए यह पुस्तक डाउनलोड करें

डाउनलोड की गई फ़ाइलों की गुणवत्ता क्या है?

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.

श्रेणियाँ:

Mathematics - Logic

साल:

2006

भाषा:

english

पृष्ठ:

109

फ़ाइल:

PDF, 3.75 MB

IPFS:

,

english, 2006

ऑनलाइन पढ़ें

में रूपांतरण जारी है

में रूपांतरण विफल रहा

आप के लिए दिलचस्प हो सकता है

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

सबसे उपयोगी शब्द

जुड़े हुए बुकलिस्ट