Projective and inductive generation of abstract logics |
| |
Authors: | Stephen L. Bloom |
| |
Affiliation: | (1) Mathematical Sciences Department, IBM T.J. Watson Research Center, Yorktown Heights, N.Y.;(2) Department of Mathematics, Stevens Institute of Technology, 07030 Hoboken, N.J. |
| |
Abstract: | An abstract logic A, C consists of a finitary algebraA and a closure systemC onA. C induces two other closure systems onA, CP andCI, by projective and inductive generation respectively. The various relations amongC, CP andCI are determined. The special case thatC is the standard equational closure system on monadic terms is studied in detail. The behavior of Boolean logics with respect to projective and inductive generation is determined.Allatum est die 17 Junii 1975 |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|