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

The Beth Property in Algebraic Logic

โœ Scribed by W. J. Blok; Eva Hoogland


Publisher
Springer Netherlands
Year
2006
Tongue
English
Weight
523 KB
Volume
83
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Categorical abstract algebraic logic: Ge
โœ George Voutsadakis ๐Ÿ“‚ Article ๐Ÿ“… 2005 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 134 KB

Given a ฯ€-institution I, a hierarchy of ฯ€-institutions I (n) is constructed, for n โ‰ฅ 1. We call I (n) the n-th order counterpart of I. The second-order counterpart of a deductive ฯ€-institution is a Gentzen ฯ€-institution, i. e. a ฯ€-institution associated with a structural Gentzen system in a canonica

Boolean Powers in Algebraic Logic
โœ Aubert Daigneault ๐Ÿ“‚ Article ๐Ÿ“… 1971 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 683 KB
Algebraic structures in fuzzy logic
โœ Esko Turunen ๐Ÿ“‚ Article ๐Ÿ“… 1992 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 580 KB