Logical consequence as a tool for qualitative analysis of Boolean networks. - Oparin, Gennady; Bogdanova, Vera; Pashinin, Anton (Mathematics in Engineering, Science & Aerospace (MESA), 2025)