| dc.contributor.author |
Schroeder-Heister, Peter |
|
| dc.date.accessioned |
2022-08-16T12:39:45Z |
|
| dc.date.available |
2022-08-16T12:39:45Z |
|
| dc.date.issued |
2014 |
|
| dc.identifier.isbn |
978-83-7969-161-6 |
|
| dc.identifier.uri |
http://hdl.handle.net/10900/130964 |
|
| dc.identifier.uri |
http://nbn-resolving.de/urn:nbn:de:bsz:21-dspace-1309643 |
de_DE |
| dc.identifier.uri |
http://dx.doi.org/10.15496/publikation-72324 |
|
| dc.description.abstract |
Frege's logical system as developed in the "Grundgesetze der Arithmetik" can be regarded as a sequent calculus of a specific form. |
en |
| dc.language.iso |
en |
de_DE |
| dc.publisher |
Universität Tübingen |
de_DE |
| dc.rights |
ubt-podok |
de_DE |
| dc.rights.uri |
http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=de |
de_DE |
| dc.rights.uri |
http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=en |
en |
| dc.subject.classification |
Logik , Beweistheorie , Sequenzenkalkül |
de_DE |
| dc.subject.ddc |
004 |
de_DE |
| dc.subject.ddc |
100 |
de_DE |
| dc.subject.other |
Gottlob Frege |
de_DE |
| dc.subject.other |
Proof Theory |
en |
| dc.subject.other |
Logic |
en |
| dc.subject.other |
Sequent Calculus |
en |
| dc.subject.other |
Gottlob Frege |
en |
| dc.title |
Frege's Sequent Calculus |
en |
| dc.type |
Article |
de_DE |
| utue.publikation.fachbereich |
Informatik |
de_DE |
| utue.publikation.fakultaet |
7 Mathematisch-Naturwissenschaftliche Fakultät |
de_DE |
| utue.publikation.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 |
de_DE |
| utue.publikation.noppn |
yes |
de_DE |
