RT Journal Article
T1 Parameterized simplification logic I: reasoning with implications and classes of closure operators
A1 Cordero-Ortega, Pablo
A1 Enciso-García-Oliveros, Manuel
A1 Mora-Bonilla, Ángel
A1 Vychodil, Vilem
K1 Subrutinas (Programas de ordenador)
K1 Lógica simbólica y matemática
AB 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.
PB Taylor & Francis
YR 2020
FD 2020
LK https://hdl.handle.net/10630/29689
UL https://hdl.handle.net/10630/29689
LA eng
NO 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
NO Política de acceso abierto tomada de: https://v2.sherpa.ac.uk/id/publication/5399?template=romeo
NO Supported by Grant TIN2017-89023-P of the Science and Innovation Ministry of Spain, whichis co-financed by the European Regional Development Fund (ERDF). V. Vychodil was alsosupported the ECOP (Education for Competitiveness Operational Programme) project no.CZ.1.07/2.3.00/20.0059, which was co-financed by the European Social Fund and the state budgetof the Czech Republic during 2011–2014.
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 28 feb 2026