2026-05-28T06:43:51Zhttps://riuma.uma.es/rest/oai/request

oai:riuma.uma.es:10630/296892026-02-03T10:55:05Zcom_10630_2254col_10630_37953

Cordero-Ortega, Pablo Enciso-García-Oliveros, Manuel Mora-Bonilla, Ángel Vychodil, Vilem 2024-02-02T09:45:10Z 2024-02-02T09:45:10Z 2020 Pablo Cordero, Manuel Enciso, Angel Mora & Vilem Vychodil (2020) Parameterized simplification logic I: reasoning with implications and classes of closure operators, International Journal of General Systems, 49:7, 724-746, DOI: 10.1080/03081079.2020.1831484 https://hdl.handle.net/10630/29689 10.1080/03081079.2020.1831484 In this paper, we present a general inference system for reasoning with if-then rules. They are defined using general lattice-theoretic notions and their semantics is defined using particular closure operators parameterized by systems of isotone Galois connections. In this general setting, we introduce a simplification logic, show its sound and complete axiomatization, and deal with related issues. The presented results can be seen as forming parameterized framework for dealing with if-then rules that allows to focus on particular dependencies obtained by choices of parameterizations. eng open access Subrutinas (Programas de ordenador) Lógica simbólica y matemática Parameterized simplification logic I: reasoning with implications and classes of closure operators journal article