Open AccessA short equational axiomatization of orthomodular lattices.
Author(s) -
Bolesław Sobociński
Publication year - 1976
Publication title -
notre dame journal of formal logic
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.505
H-Index - 29
eISSN - 1939-0726
pISSN - 0029-4527
DOI - 10.1305/ndjfl/1093887546
Subject(s) - mathematics , equational logic , algebra over a field , calculus (dental) , pure mathematics , computer science , programming language , rewriting , medicine , dentistry
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom