# Untersuchungen über das logische Schließen. I

@article{Gentzen1935UntersuchungenD, title={Untersuchungen {\"u}ber das logische Schlie{\ss}en. I}, author={Gerhard Gentzen}, journal={Mathematische Zeitschrift}, year={1935}, volume={39}, pages={176-210} }

The present invention relates to a process for sizing cellulose fibers or cellulose fiber containing materials and to a composition for carrying out the process. More particularly the invention relates to a process for sizing according to which cellulose fibers or cellulose fiber containing materials in a manner known per se are brought into contact with compounds having the general formula WHEREIN R1 is an organic, hydrophobic group having 8 to 40 carbon atoms and R2 is an alkyl group having 1…

## 1,944 Citations

Strenge Beweise und das Verbot der metábasis eis állo génos

- Philosophy
- 2012

In his booklet ‘Contributions to a better founded presentation of mathematics’ of 1810 Bernard Bolzano made his first serious attempt to explain the notion of a rigorous proof. Although the system of…

Luitzen Egbertus Jan Brouwer, 1881-1966

- MedicineBiographical Memoirs of Fellows of the Royal Society
- 1969

This Memoir is divided into three parts. Part I describes Brouwer's life and that part of his work which develops a general philosophy of mathematics; since the latter is regarded as obscure, but…

Algebraic Properties of Rules of Frege-Hilbert Calculi

- Mathematics
- 2005

Polymer filtration apparatus comprising a body having a pair of upstream passages each terminating at a slide channel and a pair of downstream passages respectively opposing the upstream passages,…

From Quantum Metalanguage to the Logic of Qubits

- Mathematics, Physics
- 2010

The main aim of this thesis is to look for a logical deductive calculus (we will adopt sequent calculus, originally introduced in Gentzen, 1935), which could describe quantum information and its…

The Finite Embeddability Property for some noncommutative knotted varieties of RL and DRL

- Mathematics
- 2015

Residuated lattices, although originally considered in the realm of algebra providing a general setting for studying ideals in ring theory [35], were later shown to form algebraic models for…

A substructural logic for layered graphs

- Computer ScienceJ. Log. Comput.
- 2014

This work establishes a notion of a layered graph, and provides soundness and completeness results for a class of algebraic models that includes layered graphs, which give a mathematically substantial semantics to this very weak logic.

Lorenzen's Proof of Consistency for Elementary Number Theory

- MathematicsHistory and Philosophy of Logic
- 2020

We present a manuscript of Paul Lorenzen that provides a proof of consistency for elementary number theory as an application of the construction of the free countably complete pseudocomplemented…

From Basic Logic to Quantum Logics with Cut-Elimination

- Mathematics
- 1998

The results presented in this paper wereobtained in the framework of basic logic, a new logicaiming at the unification of several logical systems.The first result is a sequent formulation for…

Der engere Prädikatenkalkül

- 1938

Der Klassenkalkul ermoglichte eine systematischere Behandlung der logischen Fragen als die traditionelle Logik. Andererseits kann man aber sagen, das in Hinsicht auf die Moglichkeit, logische…