<div class="csl-bib-body">
<div class="csl-entry">Chajda, I., Fazio, D., Länger, H., Ledda, A., & Paseka, J. (2024). Implication in sharply paraorthomodular and relatively paraorthomodular posets. In J. Malinowski & R. Palczewski (Eds.), <i>Janusz Czelakowski on Logical Consequence</i> (Vol. 27, pp. 419–446). Springer. https://doi.org/10.1007/978-3-031-44490-6</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/195708
-
dc.description.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.
en
dc.language.iso
en
-
dc.subject
paraorthomodular poset
en
dc.subject
relatively paraorthomodular poset
en
dc.subject
sharply paraorthomodular poset
en
dc.subject
orthogonal poset
en
dc.subject
Kleene poset
en
dc.subject
weakly Boolean poset
en
dc.subject
Kleene lattice
en
dc.subject
logics of quantum mechanics
en
dc.subject
orthomodular lattice
en
dc.subject
orthomodular poset
en
dc.subject
amalgam of Kleene lattices
en
dc.subject
atomic amalgam
en
dc.subject
adjointness
en
dc.subject
Sasaki implication
en
dc.title
Implication in sharply paraorthomodular and relatively paraorthomodular posets
en
dc.type
Book Contribution
en
dc.type
Buchbeitrag
de
dc.contributor.affiliation
Palacký University Olomouc, Czechia
-
dc.contributor.affiliation
University of Teramo, Italy
-
dc.contributor.affiliation
University of Cagliari, Italy
-
dc.contributor.affiliation
Masaryk University, Czechia
-
dc.relation.isbn
978-3-031-44489-0
-
dc.description.startpage
419
-
dc.description.endpage
446
-
dc.type.category
Edited Volume Contribution
-
tuw.booktitle
Janusz Czelakowski on Logical Consequence
-
tuw.container.volume
27
-
tuw.book.ispartofseries
Outstanding Contributions to Logic
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Cham
-
tuw.researchTopic.id
X1
-
tuw.researchTopic.name
Beyond TUW-research foci
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E104 - Institut für Diskrete Mathematik und Geometrie
-
tuw.publisher.doi
10.1007/978-3-031-44490-6
-
dc.description.numberOfPages
28
-
tuw.author.orcid
0000-0003-3840-3879
-
tuw.author.orcid
0000-0003-2569-7214
-
tuw.author.orcid
0000-0001-6658-6647
-
dc.description.sponsorshipexternal
Austrian Science Fund
-
dc.description.sponsorshipexternal
Czech Science Foundation
-
dc.relation.grantnoexternal
I 4579-N
-
dc.relation.grantnoexternal
20-09869L
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
100
-
item.openairecristype
http://purl.org/coar/resource_type/c_3248
-
item.languageiso639-1
en
-
item.fulltext
no Fulltext
-
item.grantfulltext
restricted
-
item.openairetype
book part
-
item.cerifentitytype
Publications
-
crisitem.author.dept
Palacký University Olomouc
-
crisitem.author.dept
University of Cagliari
-
crisitem.author.dept
E104 - Institut für Diskrete Mathematik und Geometrie