𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Projective and inductive generation of abstract logics

✍ Scribed by Stephen L. Bloom

Publisher
Springer Netherlands
Year
1976
Tongue
English
Weight
342 KB
Volume
35
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Logics Projectively Generated from [β„³] =
Logics Projectively Generated from [β„³] = (β„±4, [{1}]) by a Set of Homomorphisms
✍ Ventura VerdΓΊ πŸ“‚ Article πŸ“… 1987 πŸ› John Wiley and Sons 🌐 English βš– 437 KB

LOGlCS PROJECTIVELY GENERATED FROM [ A ] = (F4, [(l}]) BY , 4 SET OF HOMOMORPHISMS bg VENTURA VERDT? in Barcelona (Spain) ' ) 0. According to [2], an abstract logic of similarity type t is a pair (9, C) or (.Y, U) consisting of a finitary abstract algebra Y of type t together with a closure operator