-
42Relational dual tableau decision procedure for modal logic KLogic Journal of the IGPL 20 (4): 747-756. 2012.We present a dual tableau system, RLK, which is itself a deterministic decision procedure verifying validity of K-formulas. The system is constructed in the framework of the original methodology of relational proof systems, determined only by axioms and inference rules, without any external techniques. Furthermore, we describe an implementation of the system RLK in Prolog, and we show some of its advantages.
-
31Relational dual tableau decision procedure for modal logic KLogic Journal of the IGPL 20 (4): 747-756. 2012.We present a dual tableau system, RLK, which is itself a deterministic decision procedure verifying validity of K-formulas. The system is constructed in the framework of the original methodology of relational proof systems, determined only by axioms and inference rules, without any external techniques. Furthermore, we describe an implementation of the system in Prolog, and we show some of its advantages.
-
31Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibilityInternational Journal of Computer Mathematics 86 (10-11). 2009.We present a relational proof system in the style of dual tableaux for the relational logic associated with a multimodal propositional logic for order of magnitude qualitative reasoning with a bidirectional relation of negligibility. We study soundness and completeness of the proof system and we show how it can be used for verification of validity of formulas of the logic.
-
30Relational dual tableau decision procedures and their applications to modal and intuitionistic logicsAnnals of Pure and Applied Logic 165 (2): 409-427. 2014.This paper introduces Basic Intuitionistic Set Theory BIST, and investigates it as a first-order set theory extending the internal logic of elementary toposes. Given an elementary topos, together with the extra structure of a directed structural system of inclusions on the topos, a forcing-style interpretation of the language of first-order set theory in the topos is given, which conservatively extends the internal logic of the topos. This forcing interpretation applies to an arbitrary elementar…Read more
-
25La construction institutionnelle de la biochimie espagnole (1945-1970): Rôle des échanges avec l'Europe du Nord et l'Amérique/The institutional construction of Spanish biochemistry (1945-1970): The role of exchanges with Northern Europe and America (review)Revue d'Histoire des Sciences 52 (1): 33-50. 1999.
-
24Tableau reductions: Towards an optimal decision procedure for the modal necessityJournal of Applied Logic 17 14-24. 2016.
-
17A multimodal logic for closenessJournal of Applied Non-Classical Logics 27 (3): 225-237. 2017.We introduce a multimodal logic for order of magnitude reasoning which considers a new logic-based alternative to the notion of closeness, we provide an axiom system and prove its soundness and completeness.
-
17Pitting corrosion behaviour of austenitic stainless steel using artificial intelligence techniquesJournal of Applied Logic 10 (4): 291-297. 2012.
-
17Analyzing completeness of axiomatic functional systems for temporal × modal logicsMathematical Logic Quarterly 56 (1): 89-102. 2010.In previous works, we presented a modification of the usual possible world semantics by introducing an independent temporal structure in each world and using accessibility functions to represent the relation among them. Different properties ofthe accessibility functions have been considered and axiomatic systems which define these properties have been given. Only a few ofthese systems have been proved tobe complete. The aim ofthis paper is to make a progress in the study ofcompleteness for funct…Read more
-
14The global environmental change shows a great complexity in its data and consequences what poses problems for its understanding and for evaluating its undergoing risks. Sustainable development and sustainability are concepts associated to the environmental global change which present limitations on both the semantic point of view and the operational and appraisal issues. The exploration of the potential links between the scientific spheres and the sustainability concept points out to complex …Read more
-
13Relación entre biotecnología y medio ambiente: una visión desde la complejidadLudus Vitalis 2 (UMERO ESPECIAL): 345-359. 1997.
-
10Gobernanza, ciencia, tecnología y política: trayectoria y evoluciónArbor 181 (715): 287-300. 2005.
-
7[The institutional construction of Spanish biochemistry, 1945-70: the role of exchanges with Northern Europe and America] (review)Revue d'Histoire des Sciences 52 (1): 33-49. 1998.
-
7A flexible logic-based approach to closeness using order of magnitude qualitative reasoningLogic Journal of the IGPL. forthcoming.In this paper, we focus on a logical approach to the important notion of closeness, which has not received much attention in the literature. Our notion of closeness is based on the so-called proximity intervals, which will be used to decide the elements that are close to each other. Some of the intuitions of this definition are explained on the basis of examples. We prove the decidability of the recently introduced multimodal logic for closeness and, then, we show some capabilities of the logic …Read more
-
7La crisis de la política científica: patologías degenerativas y terapias regenerativas. A modo de epílogoArbor 185 (738): 837-850. 2009.
-
6A hybrid qualitative approach for relative movementsLogic Journal of the IGPL 23 (3): 410-420. 2015.Qualitative description of movements can be very important for representation and reasoning about dynamic systems which are complex in structure or whenever numerical data are incomplete or inaccessible. For this reason, we present a hybrid approach based on the combination of qualitative reasoning, quantitative data and logical methods. In this article, we introduce a new propositional dynamic logic QM for representation and reasoning with relative movements of objects. In this way, we can infe…Read more
-
1Sociedad y cambio técnico. Analogías biológicas de la visión evolucionista del cambio técnicoLudus Vitalis 4 (6): 29-54. 1996.
-
El rol del amor en la construcción de una ética fenomenológicaVeritas: Revista de Filosofía y Teología 23. 2010.
-
The Challenge of Transversal Education Through Teaching Ethics in Engineering: From Hubris to HybridIn José López Cerezo & Belén Laspra (eds.), Spanish Philosophy of Technology, Springer Verlag. 2018.
-
Relación entre biotecnología y medio ambiente. Una visión desde la complejidadLudus Vitalis 7 193-208. 1999.
-
University of MálagaRegular Faculty
Areas of Interest
Logic and Philosophy of Logic |