Implication in sharply paraorthomodular and relatively paraorthomodular posets

arXiv2301.09529MaRDI QIDQ6424151FDOQ6424151

Authors: Ivan Chajda, Davide Fazio, Helmut Länger, Antonio Ledda, Jan Paseka 

Publication date: 23 January 2023

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.

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Quantum logic (03G12) Other algebras related to logic (03G25) Logical aspects of lattices and related structures (03G10) Algebraic aspects of posets (06A11) Complemented lattices, orthocomplemented lattices and posets (06C15)

This page was built for publication: Implication in sharply paraorthomodular and relatively paraorthomodular posets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6424151)