Frege's Sequent Calculus

DSpace Repository


Dokumentart: Aufsatz
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
Sequent Calculus
Gottlob Frege
ISBN: 978-83-7969-161-6
Order a printed copy: Print-on-Demand
Show full item record


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)