
doi: 10.1007/bf00401552
Wajsberg algebras are the algebraic counterpart of Łukasiewicz logic that is defined with axioms which characterize implication and negation and with Modus Ponens as a rule [\textit{A. J. Rodriguez}, Un estudio algebraico de los cálculos proposicionales de Łukasiewicz. Ph. D. Thesis, Univ. Barcelona (1980)]. In this paper, Wajsberg algebras are considered as Kleene algebras and bounded distributive lattices. The aim of this paper is to develop a duality theory for Wajsberg algebras, extending the duality between Kleene algebras and some ordered topological spaces that is considered by \textit{W. Cornish} and \textit{P. Fowler} [J. Austral. Math. Soc., Ser. A 27, 209-220 (1978; Zbl 0403.06010)]. A Wajsberg space is characterized as Kleene space over a family of partial functions satisfying a number of algebraic and topological properties.
Wajsberg space, Many-valued logic, infinite-valued propositional calculi, Ordered topological structures, duality, Wajsberg algebras, Kleene space, Kleene algebras, Łukasiewicz logic, Other algebras related to logic
Wajsberg space, Many-valued logic, infinite-valued propositional calculi, Ordered topological structures, duality, Wajsberg algebras, Kleene space, Kleene algebras, Łukasiewicz logic, Other algebras related to logic
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 17 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
