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

Axiomatization of commutative quasiregular algebra

โœ Scribed by N. N. Mavrodi


Publisher
Springer US
Year
1977
Tongue
English
Weight
107 KB
Volume
12
Category
Article
ISSN
1573-8337

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Linear axiomatics of commutative product
โœ Wojciech Zielonka ๐Ÿ“‚ Article ๐Ÿ“… 1990 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 460 KB

AxJomatics which do not employ rules of inference other than the cut rule are given for commutative product-free Lambek calculus in two variants: with and without the empty string. Unlike the former variant, the latter one turns out not to be finitely axiomatizable in that way.

Commutativity of AlmostF-algebras
โœ Mohamed Ali Toumi ๐Ÿ“‚ Article ๐Ÿ“… 2007 ๐Ÿ› Springer ๐ŸŒ English โš– 191 KB