๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The logic of implication

โœ Scribed by Noel Balzer


Publisher
Springer
Year
1990
Tongue
English
Weight
654 KB
Volume
24
Category
Article
ISSN
0022-5363

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Weak Logics with Strict Implication
โœ Giovanna Corsi ๐Ÿ“‚ Article ๐Ÿ“… 1987 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 838 KB

Ax. 4. ( a AB) -+/I, Ax. 5. (a 3 @) A (a 3 y ) -+ (a 3 /? A y ) ~ Ax. 6. a -+ (a vp), AX. 7. -+ (a vB), AX. 8. A x . 9 . a ~( b V y ) -+ ( a ~# ? ) V ( a ~y ) , Ax. 10. I -+ a, Ax.D. i i , AX. R.