✦ LIBER ✦

A note on the system of propositional calculus with primitive rule of extensionality

✍ Scribed by K. Hałkowska

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A propositional calculus without the law

✍ R. Wielądek 📂 Article 📅 1969 🏛 Springer Netherlands 🌐 English ⚖ 45 KB

A note on Spector's quantifier-free rule

✍ Ulrich Kohlenbach 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 33 KB

A formalisation of the 2-valued proposit

✍ Alan Rose 📂 Article 📅 1954 🏛 Springer 🌐 English ⚖ 192 KB

A Pair of Primitive Rules for the Senten

✍ Philip Webb 📂 Article 📅 1970 🏛 John Wiley and Sons 🌐 English ⚖ 546 KB

On some partial systems of the propositi

✍ J. Słupecki 📂 Article 📅 1958 🏛 Springer Netherlands 🌐 English ⚖ 36 KB

On a fragment of the implicative proposi

✍ H. Rasiowa 📂 Article 📅 1955 🏛 Springer Netherlands 🌐 English ⚖ 68 KB