Zobrazeno 1 - 3
of 3
pro vyhledávání: '"H. J. San Martín"'
Publikováno v:
Archive for Mathematical Logic. 61:155-172
In this paper we study the variety of order Hilbert algebras, which is the equivalent algebraic semantics of the order implicational calculus of Bull (J Symb Logic, 29:33–34, 1964).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4a6c1ac5db68d80d3009b19423cc47e8
https://doi.org/10.1007/s00153-021-00777-4
https://doi.org/10.1007/s00153-021-00777-4
Publikováno v:
Studia Logica. 98:203-222
This work extend to residuated lattices the results of [7]. It also provides a possible generalization to this context of frontal operators in the sense of [9]. Let L be a residuated lattice, and f : L k ? L a function. We give a necessary and suffic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0725e872376b33b75c3bbc470cffeb70
https://doi.org/10.1007/s11225-011-9333-3
https://doi.org/10.1007/s11225-011-9333-3
The main goal of this work is to give an explicit computation of some coproducts in the variety of KM-algebras introduced by the Chişinǎu group headed by Kuznetsov during the decade of the 1970s. This is done using a Priestley style duality. Fil: C
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8cf4eebbdd681793ede253de9834934b
https://link.springer.com/article/10.1007/s00500-015-1693-6
https://link.springer.com/article/10.1007/s00500-015-1693-6
