✦ LIBER ✦

Carnapian extensions of S5

✍ Scribed by Herbert E. Hendry; M. L. Pokriefka

Publisher: Springer Netherlands
Year: 1985
Tongue: English
Weight: 947 KB
Volume: 14
Category: Article
ISSN: 0022-3611
DOI: 10.1007/bf00245990

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

All Normal Extensions of S5-squared Are

All Normal Extensions of S5-squared Are Finitely Axiomatizable

✍ Nick Bezhanishvili; Ian Hodkinson 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 241 KB

ON THE INCOMPLETENESS OF A DESCENDING CH

ON THE INCOMPLETENESS OF A DESCENDING CHAIN OF EXTENSIONS OF IMPLICATIONAL S5

✍ Dolph Ulrich 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 143 KB 👁 1 views

## Abstract C5.ω is obtained by adding, schematically, to the strict‐implicational fragment C5 of S5 the axiom ((__p__ → __q__) → (__q__ → __p__)) → (__q__ → __p__). This paper presents a fully general proof that neither C5.ω nor any of a descending chain of its extensions is complete with respect

A Descending Chain of Incomplete Extensi

A Descending Chain of Incomplete Extensions of Implicational S 5

✍ Dolph Ulrich 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 459 KB 👁 1 views

S5 TOC

📂 Article 📅 2012 🏛 Springer-Verlag 🌐 English ⚖ 94 KB

The deducibilities of S5

✍ Jean Porte 📂 Article 📅 1981 🏛 Springer Netherlands 🌐 English ⚖ 600 KB

Extensions of Steffensen's Inequality

✍ Peter R. Mercer 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 56 KB

We offer a new proof of the well-known Steffensen Inequality, whose context is sufficiently general that it engenders a number of extensions.