✦ LIBER ✦

The number of proof lines and the size of proofs in first order logic

✍ Scribed by Jan Krajíček; Pavel Pudlák

Publisher: Springer
Year: 1988
Tongue: English
Weight: 810 KB
Volume: 27
Category: Article
ISSN: 0933-5846
DOI: 10.1007/bf01625836

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Proof-Theory of two Formalisation

On the Proof-Theory of two Formalisations of Modal First-Order Logic

✍ Yehuda Schwartz; George Tourlakis 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 332 KB

The number of lines in Frege proofs with

The number of lines in Frege proofs with substitution

✍ Alasdair Urquhart 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 74 KB

Phase semantic cut-elimination and norma

Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic

✍ Mitsuhiro Okada 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 698 KB

Simple proof of the completeness theorem

Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic

✍ Karim Nour; Christophe Raffalli 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 241 KB

We present a simpler way than usual to deduce the completeness theorem for the second-order classical logic from the ÿrst-order one. We also extend our method to the case of second-order intuitionistic logic.

Proof of the first order phase transitio

Proof of the first order phase transition in the Slater KDP model

✍ J. F. Nagle 📂 Article 📅 1969 🏛 Springer 🌐 English ⚖ 358 KB

A proof of the first dahlquist barrier b

A proof of the first dahlquist barrier by order stars

✍ Arieh Iserles; Syvert P. Nørsett 📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 455 KB