Frege's Sequent Calculus

DSpace Repository


Dateien:

URI: http://hdl.handle.net/10900/130964
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1309643
http://dx.doi.org/10.15496/publikation-72324
Dokumentart: Article
Date: 2014
Source: Trends in Logic XIII. Gentzen's and Jaśkowski's Heritage. 80 Years of Natural Deduction and Sequent Calculi. Ed. by Andrzej Indrzejczak, Janusz Kaczmarek and Michał Zawidzki. Łódż University Press 2014, pp. 233-245
Language: English
Faculty: 7 Mathematisch-Naturwissenschaftliche Fakultät
Department: Informatik
DDC Classifikation: 004 - Data processing and computer science
100 - Philosophy
Keywords: Logik , Beweistheorie , Sequenzenkalkül
Other Keywords: Gottlob Frege
Proof Theory
Logic
Sequent Calculus
Gottlob Frege
ISBN: 978-83-7969-161-6
License: http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=de http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=en
Order a printed copy: Print-on-Demand
Show full item record

Abstract:

Frege's logical system as developed in the "Grundgesetze der Arithmetik" can be regarded as a sequent calculus of a specific form.

This item appears in the following Collection(s)