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

Comparing decision problem for various paradigms of algebraic logic

โœ Scribed by Agnes Kurucz

Publisher
Springer
Year
2002
Tongue
English
Weight
255 KB
Volume
47
Category
Article
ISSN
0002-5240

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Decision problems for classes of diagona
Decision problems for classes of diagonalizable algebras
โœ Aldo Ursini ๐Ÿ“‚ Article ๐Ÿ“… 1985 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 142 KB

We make use of a Theorem of Burrls-McKenzie to prove that the only decidable variety of diagonalizabie algebras is that defined by 'v0 = 1'. Any variety containing an algebra in which T0 r 1 is hereditarily undecidable. Moreover, any variety of intuitionistic diagonalizable algebras is undecidable.