Zobrazeno 1 - 10
of 111
pro vyhledávání: '"Nikolaos Galatos"'
The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to substructural logics. The second, less obvious but equally important, is to pro
Publikováno v:
Journal of Algebra. 601:129-148
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c456b4d9995b5d52bddcb9fbc790bbca
https://doi.org/10.1016/j.jalgebra.2022.02.012
https://doi.org/10.1016/j.jalgebra.2022.02.012
Autor:
Nikolaos Galatos, Sara Ugolini
Publikováno v:
Order.
We introduce and characterize various gluing constructions for residuated lattices that intersect on a common subreduct, and which are subalgebras, or appropriate subreducts, of the resulting structure. Starting from the 1-sum construction (also know
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::80836f36a87f754e360783834032e5fc
https://doi.org/10.1007/s11083-023-09626-w
https://doi.org/10.1007/s11083-023-09626-w
Autor:
Gavin St. John, Nikolaos Galatos
Publikováno v:
The Journal of Symbolic Logic. 87:1156-1200
All known structural extensions of the substructural logic $\textbf{FL}_{\textbf{e}}$ , the Full Lambek calculus with exchange/commutativity (corresponding to subvarieties of commutative residuated lattices axiomatized by $\{\vee , \cdot , 1\}$ -equa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3d0ae26eb49da5456510347ab326acf3
https://doi.org/10.1017/jsl.2021.46
https://doi.org/10.1017/jsl.2021.46
Motivated by Kalman residuated lattices, Nelson residuated lattices and Nelson paraconsistent residuated lattices, we provide a natural common generalization of them. Nelson conucleus algebras unify these examples and further extend them to the non-c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c529da1bf279aac6df527997f08b6d8e
http://arxiv.org/abs/2107.14198
http://arxiv.org/abs/2107.14198
Publikováno v:
Outstanding Contributions to Logic ISBN: 9783030712570
A theorem of alternatives provides a reduction of validity in a substructural logic to validity in its multiplicative fragment. Notable examples include a theorem of Arnon Avron that reduces the validity of a disjunction of multiplicative formulas in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::06b78a380da2caa97d7f01f035e51ea5
https://doi.org/10.1007/978-3-030-71258-7_5
https://doi.org/10.1007/978-3-030-71258-7_5
Autor:
Peter Jipsen, Nikolaos Galatos
Publikováno v:
Algebra universalis. 81
Generalized bunched implication algebras (GBI-algebras) are defined as residuated lattices with a Heyting implication, and are positioned between Boolean algebras with operators and lattices with operators. We characterize congruences on GBI-algebras
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a2971a5c42268331622cc5f1c3cbbf68
https://doi.org/10.1007/s00012-020-00663-9
https://doi.org/10.1007/s00012-020-00663-9
Autor:
Peter Jipsen, Nikolaos Galatos
Publikováno v:
Relational and Algebraic Methods in Computer Science ISBN: 9783030435196
RAMiCS
RAMiCS
FL\(^2\)-algebras are lattice-ordered algebras with two sets of residuated operators. The classes RA of relation algebras and GBI of generalized bunched implication algebras are subvarieties of FL\(^2\)-algebras. We prove that the congruences of FL\(
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fe63b61807131ad9c45adcad80910bf6
https://doi.org/10.1007/978-3-030-43520-2_8
https://doi.org/10.1007/978-3-030-43520-2_8
Autor:
Nikolaos Galatos, Rostislav Horčík
Publikováno v:
Journal of Pure and Applied Algebra. 226:106852
It is known that every countable totally ordered set can be embedded into a countable dense one. We extend this result to totally ordered commutative monoids and to totally ordered commutative residuated lattices (the latter result fails in the absen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::207cda185f88517546500416d5abf765
https://doi.org/10.1016/j.jpaa.2021.106852
https://doi.org/10.1016/j.jpaa.2021.106852
Autor:
Nikolaos Galatos, Kazushige Terui
This volume is dedicated to Hiroakira Ono life's work on substructural logics. Chapters, written by well-established academics, cover topics related to universal algebra, algebraic logic and the Full Lambek calculus; the book includes a short biograp