Frege's Sequent Calculus

Dateien:	Schroeder-Heister_FregesSequentCalculus.pdf 176. KB PDF

Zitierfähiger Link (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:	Wissenschaftlicher Artikel
Erscheinungsdatum:	2014
Originalveröffentlichung:	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
Sprache:	Englisch
Fakultät:	7 Mathematisch-Naturwissenschaftliche Fakultät
Fachbereich:	Informatik
DDC-Klassifikation:	004 - Informatik 100 - Philosophie
Schlagworte:	Logik , Beweistheorie , Sequenzenkalkül
Freie Schlagwörter:	Gottlob Frege Proof Theory Logic Sequent Calculus Gottlob Frege
ISBN:	978-83-7969-161-6
Lizenz:	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
Gedruckte Kopie bestellen:	Print-on-Demand
Zur Langanzeige