An implicational logic for orthomodular lattices

Zinātniskās darbības rezultāts: Devums žurnālam › Zinātniskais raksts (žurnālā) › koleģiāli recenzēts

2 Atsauces (Scopus)

Oriģinālvaloda	Angļu
Lapas (no-līdz)	383-394
Žurnāls	Acta Scientiarum Mathematicarum
Sējums	82
Izdevuma numurs	3-4
DOIs	https://doi.org/10.14232/actasm-015-813-6
Publikācijas statuss	Publicēts - 2016

OECD Zinātnes nozare

@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 -