Implication in sharply paraorthomodular and relatively paraorthomodular posets
Logic
2023-01-24 v1
Abstract
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.
Keywords
Cite
@article{arxiv.2301.09529,
title = {Implication in sharply paraorthomodular and relatively paraorthomodular posets},
author = {Ivan Chajda and Davide Fazio and Helmut Länger and Antonio Ledda and Jan Paseka},
journal= {arXiv preprint arXiv:2301.09529},
year = {2023}
}