𝔖 Bobbio Scriptorium
✦   LIBER   ✦

INVESTIGATIONS INTO IMPLICATIONAL S5

✍ Scribed by C. A. Meredith; A. N. Prior

Book ID
102942814
Publisher
John Wiley and Sons
Year
1964
Tongue
English
Weight
816 KB
Volume
10
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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