𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Some localized separation axioms and their implications

✍ Scribed by K. K. Dube; D. N. Misra


Book ID
105437632
Publisher
Springer Netherlands
Year
1978
Tongue
English
Weight
431 KB
Volume
9
Category
Article
ISSN
0031-5303

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Some Axiom-Pairs for Material and Strict
✍ A. N. Prior πŸ“‚ Article πŸ“… 1961 πŸ› John Wiley and Sons 🌐 English βš– 194 KB

Of the four formulac L1. c p c q p M1. CqCpp L2. CCCCpqrsCCqsCps M2. CCCCpqrqCCqsCps, the pair ( L l , L2) were given by LUKASIEWICZ as sufficient (with substitution and detachment) for tho classical implicational propositional calculus, while thc pair (&Ill M2) were givcn by C. A. MEREDITH in 1956