2023/01/23 by Ivan Chajda, Davide Fazio, Chajda, Ivan +7
Computer Science · Arts and Humanities · #Advanced Algebra and Logic #Rough Sets and Fuzzy Logic #Linguistics and Discourse Analysis
paper · pdf · doi:10.48550/arxiv.2301.09529
In this paper we show that several classes of partially ordered structures having paraorthomodular reducts, or whose sections may be regarded as paraorthomodular posets, admit a quite natural notion of implication, that admits a suitable notion of adjointness. Within this framework, we propose a smooth generalization of celebrated Greechie's theorems on amalgams of finite Boolean algebras to the realm of Kleene lattices.