Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Miguel Andres Marcos"'
Publikováno v:
Reports on Mathematical Logic. 56:15-56
The aim of this paper is to investigate the relation between the strong and the "weak" or intuitionistic negation in Nelson algebras. To do this, we define the variety of Kleene algebras with intuitionistic negation and explore the Kalman's construct
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::54c2206fcaa4425086d4ee4ade01fd80
https://doi.org/10.4467/20842589rm.21.002.14374
https://doi.org/10.4467/20842589rm.21.002.14374
