Untersuchungen über das logische Schließen I

G. Gentzen

Mathematische Zeitschrift (1935)

  • Volume: 39, page 176-210
  • ISSN: 0025-5874; 1432-1823

How to cite

top

Gentzen, G.. "Untersuchungen über das logische Schließen I." Mathematische Zeitschrift 39 (1935): 176-210. <http://eudml.org/doc/168546>.

@article{Gentzen1935,
author = {Gentzen, G.},
journal = {Mathematische Zeitschrift},
keywords = {foundations, philosophy, logic},
pages = {176-210},
title = {Untersuchungen über das logische Schließen I},
url = {http://eudml.org/doc/168546},
volume = {39},
year = {1935},
}

TY - JOUR
AU - Gentzen, G.
TI - Untersuchungen über das logische Schließen I
JO - Mathematische Zeitschrift
PY - 1935
VL - 39
SP - 176
EP - 210
KW - foundations, philosophy, logic
UR - http://eudml.org/doc/168546
ER -

Citations in EuDML Documents

top
  1. Aarne Ranta, Structures grammaticales dans le français mathématique : II - (suite et fin)
  2. Aarne Ranta, Structures grammaticales dans le français mathématique : I
  3. Per Martin-Löf, Infinite terms and a system of natural deduction
  4. Philippe De Rouilhan, Les tableaux de Beth : syntaxe ou sémantique ?
  5. Paola Zizzi, Dal metalinguaggio quantistico alla logica dei qubits
  6. Marek Nowak, Disjunctive Multiple-Conclusion Consequence Relations
  7. Jan von Plato, From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction
  8. Shahid Rahman, Helge Rückert, Die pragmatischen Sinn- und Geltungskriterien der Dialogischen Logik beim Beweis des Adjunktionssatzes
  9. Jacques Dubucs, Preuves, fondements et certificats
  10. Andrzej Indrzejczak, Rule-Generation Theorem and its Applications

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.