An implicational logic for orthomodular lattices

Research output: Contribution to journal › Article › peer-review

2 Citations (Scopus)

Original language	English
Pages (from-to)	383-394
Journal	Acta Scientiarum Mathematicarum
Volume	82
Issue number	3-4
DOIs	https://doi.org/10.14232/actasm-015-813-6
Publication status	Published - 2016

OECD Field of Science

@article{8fe87de6fbef489ea3dd858a69153d1b,

title = "An implicational logic for orthomodular lattices",

author = "Ivan Chajda and Jānis Cīrulis",

year = "2016",

doi = "10.14232/actasm-015-813-6",

language = "English",

volume = "82",

pages = "383--394",

journal = "Acta Scientiarum Mathematicarum",

issn = "0001-6969",

publisher = "Springer International Publishing",

number = "3-4",

}

TY - JOUR

T1 - An implicational logic for orthomodular lattices

AU - Chajda, Ivan

AU - Cīrulis, Jānis

PY - 2016

Y1 - 2016

UR - https://link.springer.com/article/10.14232/actasm-015-813-6

U2 - 10.14232/actasm-015-813-6

DO - 10.14232/actasm-015-813-6

M3 - Article

SN - 0001-6969

VL - 82

SP - 383

EP - 394

JO - Acta Scientiarum Mathematicarum

JF - Acta Scientiarum Mathematicarum

IS - 3-4

ER -