𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Termination of permutative conversions in intuitionistic Gentzen calculi

✍ Scribed by Helmut Schwichtenberg

Publisher
Elsevier Science
Year
1999
Tongue
English
Weight
722 KB
Volume
212
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Permutability of proofs in intuitionisti
Permutability of proofs in intuitionistic sequent calculi
✍ Roy Dyckhoff; LuΓ­s Pinto πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 962 KB

We prove a folklore theorem, that two derivations in a cut-free sequent calculus for intuitionistic propositional logic (based on Kleene's G3) are inter-permutable (using a set of basic "permutation reduction rules" derived from Kleene's work in 1952) iff they determine the same natural deduction. T

Modeling of termination in intermediate
Modeling of termination in intermediate and high conversion free radical polymerizations
✍ Michael Buback; Brigitta Huckestein; Gregory T. Russell πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 883 KB

## Abstract A simple means of modeling termination in free radical polymerizations of a large number of monomers over a wide variety of intermediate and high conversion conditions is presented. It is shown that monomers can be divided into two classes according to the qualitative variation of their

In situ conversion of coproporphyrinogen
In situ conversion of coproporphyrinogen to heme by murine mitochondria: Terminal steps of the heme biosynthetic pathway
✍ Karen L. Proulx; Steven I. Woodard; Harry A. Dailey πŸ“‚ Article πŸ“… 1993 πŸ› Cold Spring Harbor Laboratory Press 🌐 English βš– 662 KB

## Abstract Coproporphyrinogen oxidase (EC 1.3.3.3), protoporphyrinogen oxidase (EC 1.3.3.4), and ferrochelatase (EC 4.99.1.1) catalyze the terminal three steps of the heme biosynthetic pathway. All three are either bound to or associated with the inner mitochondrial membrane in higher eukaryotic c