✦ LIBER ✦

Preservation of equivalence of derivations under reduction of depth of formulas

✍ Scribed by S. V. Solov' ev

Publisher: Springer US
Year: 1982
Tongue: English
Weight: 548 KB
Volume: 20
Category: Article
ISSN: 1573-8795
DOI: 10.1007/bf01629449

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Derived equivalences of selfinjective al

Derived equivalences of selfinjective algebras preserve singularities

✍ Andrzej Skowronski; Grzegorz Zwara 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 140 KB

Depth and polynomial equivalence of form

Depth and polynomial equivalence of formulas for closed classes of two-valued logic

✍ A. B. Ugol'nikov 📂 Article 📅 1987 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 414 KB

Depth of proofs, depth of cut-formulas a

Depth of proofs, depth of cut-formulas and complexity of cut formulas

✍ Wenhui Zhang 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 922 KB

Preservation of elementary and universal

Preservation of elementary and universal equivalence under the wreath product

✍ E. I. Timoshenko 📂 Article 📅 1968 🏛 Springer US 🌐 English ⚖ 195 KB

Preservation of global order equivalence

✍ M.F Janowitz 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 750 KB

Reduction of finite and infinite derivat

Reduction of finite and infinite derivations

✍ G. Mints 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 161 KB

We present a general schema of easy normalization proofs for ÿnite systems S like ÿrst-order arithmetic or subsystems of analysis, which have good inÿnitary counterparts S∞. We consider a new system S + ∞ with essentially the same rules as S∞ but di erent derivable objects: a derivation d ∈ S + ∞ of