Non-paradoxical logical consequence and the problem of solving ML-equations
Yu. M. Smetanin

This publication is cited in the following articles:

1. Yu. M. Smetanin, “Frontalnyi algoritm resheniya SAT zadachi”, Programmnye sistemy: teoriya i prilozheniya, 13:4 (2022), 163–179    
2. Yu. M. Smetanin, “Verifikatsiya logicheskogo sledovaniya s ispolzovaniem ischisleniya konstituentnykh mnozhestv i sootvetstvii Galua”, Programmnye sistemy: teoriya i prilozheniya, 8:2 (2017), 69–93    
3. Yu. M. Smetanin, “Verifikatsiya logicheskogo sledovaniya v neklassicheskoi mnogoznachnoi logike”, Izv. IMI UdGU, 50 (2017), 62–82