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

主要なフレーズ

関連ブックリスト