Sheffer operations in complemented posets

dc.contributor.authorChajda, Ivan
dc.contributor.authorKolařík, Miroslav
dc.coverage.issue1cs
dc.coverage.volume10cs
dc.date.accessioned2021-07-02T06:09:12Z
dc.date.available2021-07-02T06:09:12Z
dc.date.issued2021cs
dc.description.abstractWe show that in every downward directed poset with an antitone involu-tion the so-called Sheffer operation can be introduced satisfying certain identities.However, also conversely, if we have given a Sheffer operation|on a setP, thenPcan be converted into a poset with an antitone involution′, where both′and theorder relation≤are derived by|. Using this, we can characterize orthoposets, i.e.bounded posets with complementation which is an antitone involution by means ofidentities satisfied by this Sheffer operation. Also conversely, if|is a Sheffer oper-ation on a given setPsatisfying these identities, thenPcan be organized into anorthoposet.en
dc.formattextcs
dc.format.extent1-7cs
dc.format.mimetypeapplication/pdfen
dc.identifier.citationMathematics for Applications. 2021 vol. 10, č. 1, s. 1-7. ISSN 1805-3629cs
dc.identifier.doi10.13164/ma.2021.01en
dc.identifier.issn1805-3629
dc.identifier.urihttp://hdl.handle.net/11012/200370
dc.language.isoencs
dc.publisherVysoké učení technické v Brně, Fakulta strojního inženýrství, Ústav matematikycs
dc.relation.ispartofMathematics for Applicationsen
dc.relation.urihttp://ma.fme.vutbr.cz/archiv/10_1/ma_10_1_chajda_kolarik_final.pdfcs
dc.rights© Vysoké učení technické v Brně, Fakulta strojního inženýrství, Ústav matematikycs
dc.rights.accessopenAccessen
dc.titleSheffer operations in complemented posetsen
dc.type.driverarticleen
dc.type.statusPeer-revieweden
dc.type.versionpublishedVersionen
eprints.affiliatedInstitution.departmentÚstav matematikycs
eprints.affiliatedInstitution.facultyFakulta strojního inženýrstvícs
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
ma_10_1_chajda_kolarik_final.pdf
Size:
575.34 KB
Format:
Adobe Portable Document Format
Description:
Collections