Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Andrew John Ylvisaker"'
Autor:
Andrew John Ylvisaker
Publikováno v:
Algebra universalis. 75:127-154
In this paper, we exhibit a relation algebra reduct of any diagonal-free cylindric algebra of dimension 3 having sufficiently strong projection and equality parameters. We also offer a complete (and corrected) proof that full first-order logic can be
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cfa6eff6d2b91005cf7f358f208ef6c4
https://doi.org/10.1007/s00012-016-0367-2
https://doi.org/10.1007/s00012-016-0367-2
