𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Simplified Axiom Schemes for Implication and Iterated Implication

✍ Scribed by John Jones

Publisher
John Wiley and Sons
Year
1985
Tongue
English
Weight
161 KB
Volume
31
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

IMPLICATION AND ITERATED IMPLICATION
IMPLICATION AND ITERATED IMPLICATION
✍ John Jones πŸ“‚ Article πŸ“… 1983 πŸ› John Wiley and Sons 🌐 English βš– 689 KB

Let C be the implication functor of LUBASIEWICZ (see [ 2 j ) and let IjPQ = (CP)JQ, ## JOHN JONES R2. If T is as above, and P is a formula which does not contain any occurrences of the variable functor denoted by A or any occurrences of the propositional variables denoted by U and V , then if AAT

Some Axiom-Pairs for Material and Strict
Some Axiom-Pairs for Material and Strict Implication
✍ 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

Zariski-type topology for implication al
Zariski-type topology for implication algebras
✍ Manuel Abad; Diego CastaΓ±o; JosΓ© P. DΓ­az Varela πŸ“‚ Article πŸ“… 2010 πŸ› John Wiley and Sons 🌐 English βš– 220 KB

## Abstract In this work we provide a new topological representation for implication algebras in such a way that its one‐point compactification is the topological space given in [1]. Some applications are given thereof (Β© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)