✦ LIBER ✦

Quantified propositional calculi and fragments of bounded arithmetic

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

Publisher: John Wiley and Sons
Year: 1990
Tongue: English
Weight: 915 KB
Volume: 36
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19900360106

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Full Models and Restricted Extensions of

Full Models and Restricted Extensions of Propositional Calculi

✍ Biswambhar Pahi 📂 Article 📅 1971 🏛 John Wiley and Sons 🌐 English ⚖ 404 KB 👁 1 views

The complexity of presburger arithmetic

The complexity of presburger arithmetic with bounded quantifier alternation depth

✍ Martin Fürer 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 683 KB

Some formalisations of N0-valued proposi

Some formalisations of N0-valued propositional calculi

✍ Alan Rose 📂 Article 📅 1956 🏛 John Wiley and Sons 🌐 English ⚖ 295 KB

A note on the Σ1 collection scheme and f

A note on the Σ1 collection scheme and fragments of bounded arithmetic

✍ Zofia Adamowicz; Leszek Aleksander Kołodziejczyk 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 115 KB

Bounded arithmetic, collection principle, weak pigeonhole principle. ## MSC (2000) 03F30 We show that for each n ≥ 1, if T n 2 does not prove the weak pigeonhole principle for Σ b n functions, then the collection scheme BΣ1 is not finitely axiomatizable over T n 2 . The same result holds with S n

On a Method of Axiomatization of Some Pr

On a Method of Axiomatization of Some Propositional Calculi

✍ Zdzislaw Dywan 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 210 KB 👁 1 views

A Bounded Translation of Intuitionistic

A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic

✍ Mojtaba Aghaei; Mohammad Ardeshir 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 175 KB