DOI10.1016/0041-5553(84)90055-7zbMath0566.03011MaRDI QIDQ3680810
N. N. Katerinochkina
Publication date: 1984 Published in: USSR Computational Mathematics and Mathematical Physics (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1016/0041-5553(84)90055-7
Mathematics Subject Classification ID
03G10: Logical aspects of lattices and related structures
03B50: Many-valued logic