Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
5778121 | Annals of Pure and Applied Logic | 2017 | 49 Pages |
Abstract
The paper continues the line of [6-8]. This results in a model-theoretic characterization of expressive powers of arbitrary finite sets of guarded connectives of degree not exceeding 1 and regular connectives of degree 2 over the language of bounded lattices.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Grigory K. Olkhovikov,