Untersuchungen über das logische Schließen. I

  title={Untersuchungen {\"u}ber das logische Schlie{\ss}en. I},
  author={Gerhard Gentzen},
  journal={Mathematische Zeitschrift},
  • G. Gentzen
  • Published 1 December 1935
  • Mathematics
  • Mathematische Zeitschrift
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… 
Strenge Beweise und das Verbot der metábasis eis állo génos
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
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
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
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
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
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
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
Tableaux and Related Methods
  • R. Hähnle
  • Computer Science
    Handbook of Automated Reasoning
  • 2001
From Basic Logic to Quantum Logics with Cut-Elimination
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
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