Implication connectives in orthomodular lattices.
Herman, L., Marsden, E. L., Piziak, R.Volume:
16
Language:
english
Journal:
Notre Dame Journal of Formal Logic
DOI:
10.1305/ndjfl/1093891789
Date:
July, 1975
File:
PDF, 1.93 MB
english, 1975