![](/img/cover-not-exists.png)
Parameterized simplification logic I: reasoning with implications and classes of closure operators
Cordero, Pablo, Enciso, Manuel, Mora, Angel, Vychodil, VilemJournal:
International Journal of General Systems
DOI:
10.1080/03081079.2020.1831484
Date:
October, 2020
File:
PDF, 1.78 MB
2020