✦ LIBER ✦

A reduction-principle for infinite formulas

✍ Scribed by Erwin Engeler

Publisher: Springer
Year: 1963
Tongue: English
Weight: 515 KB
Volume: 151
Category: Article
ISSN: 0025-5831
DOI: 10.1007/bf01470822

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Variation of constants formula and reduc

Variation of constants formula and reduction principle for a class of partial functional differential equations with infinite delay

✍ Abdelhai Elazzouzi; Aziz Ouhinou 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 442 KB

A reduction rule for Peirce formula

✍ Sachio Hirokawa; Yuichi Komori; Izumi Takeuti 📂 Article 📅 1996 🏛 Springer Netherlands 🌐 English ⚖ 365 KB

A reduction rule is introduced as a transformation of proof figures in implicational classical logic. Proof figures are represented as typed terms in a A-calculus with a new constant P((~-a)-'~)-~. It is shown that all terms with the same type are equivalent with respect to/?-reduction augmented by

A Variational principle for waves of inf

A Variational principle for waves of infinite depth

✍ E. R. Spielvogel 📂 Article 📅 1970 🏛 Springer 🌐 English ⚖ 611 KB

Arithmetic with a local reflection princ

Arithmetic with a local reflection principle for Rosser provability formulas

✍ S. V. Goryachev 📂 Article 📅 1989 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 410 KB

Principles for normalization of formulas

✍ T. G. Mustafin 📂 Article 📅 1981 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 757 KB

A maximum principle for infinite-stage o

A maximum principle for infinite-stage optimal control processes

✍ V. Bistritskas 📂 Article 📅 1977 🏛 Springer 🌐 English ⚖ 551 KB