𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Descending Chain of Incomplete Extensions of Implicational S 5

✍ Scribed by Dolph Ulrich

Publisher
John Wiley and Sons
Year
1985
Tongue
English
Weight
459 KB
Volume
31
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

Strict Implication in A Sequence of Exte
Strict Implication in A Sequence of Extensions of S4
✍ Dolph Ulrich πŸ“‚ Article πŸ“… 1981 πŸ› John Wiley and Sons 🌐 English βš– 861 KB

STRICT IMPLICATION IN A SEQUENCE OF EXTENSIONS O F S4 by DOLPH ULRICH in West Lafayette, Indiana (U.S.A.) l) ( A l ) C p p , (-42) CCpqcrCpq, (A3) CCpCqrCCpyCpr, and as sole rule of inference detachment ("from N and Cq3 infer 8"). Standard terms concerning axiomatic systems (theorem, deductive cons