8 found
Order:
See also
Ricardo Oscar Rodriguez
Universidad de Buenos Aires (UBA)
  1.  52
    Standard Gödel Modal Logics.Xavier Caicedo & Ricardo O. Rodriguez - 2010 - Studia Logica 94 (2):189-214.
    We prove strong completeness of the □-version and the ◊-version of a Gödel modal logic based on Kripke models where propositions at each world and the accessibility relation are both infinitely valued in the standard Gödel algebra [0,1]. Some asymmetries are revealed: validity in the first logic is reducible to the class of frames having two-valued accessibility relation and this logic does not enjoy the finite model property, while validity in the second logic requires truly fuzzy accessibility relations and this (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  2.  29
    DFT and Belief Revision.Eduardo Fermé & Ricardo Rodríguez - 2006 - Análisis Filosófico 26 (2):373-393.
    Alchourrón devoted his last years to the analysis of the notion of defeasible conditionalization. He developed a formal system capturing the essentials of this notion. His definition of the defeasible conditional is given in terms of strict implication operator and a modal operator f which is interpreted as a revision function at the language level. In this paper, we will point out that this underlying revision function is more general than the well known AGM revision [4]. In addition, we will (...)
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  3.  5
    Normalization, Soundness and Completeness for the Propositional Fragment of Prawitz’ Ecumenical System.Luiz Carlos Pereira & Ricardo Oscar Rodriguez - 2017 - Revista Portuguesa de Filosofia 73 (3-4):1153-1168.
    In 2015 Dag Prawitz proposed an Ecumenical system where classical and intuitionistic logic could coexist in peace. The classical logician and the intuitionistic logician would share the universal quantifier, conjunction, negation and the constant for the absurd, but they would each have their own existential quantifier, disjunction and implication, with different meanings. Prawitz’ main idea is that these different meanings are given by a semantical framework that can be accepted by both parties. The aim of the present paper is [1] (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  21
    Semi-Contraction: Axioms and Construction.Eduardo Fermé & Ricardo Rodriguez - 1998 - Notre Dame Journal of Formal Logic 39 (3):332-345.
    Semi-contraction is a withdrawal operation defined by Fermé in "On the logic of theory change: Contraction without recovery." In this paper we propose: (1) an axiomatic characterization of semi-contraction; (2) an alternative construction for semi-contraction based on semi-saturatable sets, inspired by Levi's saturatable sets; (3) a special kind of semi-contraction that satisfies the Lindström and Rabinowicz interpolation thesis.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  5.  19
    AGM Theory and Artificial Intelligence.Raúl Carnota & Ricardo Rodríguez - 2011 - In Erik J. Olson Sebastian Enqvist (ed.), Belief Revision Meets Philosophy of Science. Springer. pp. 1--42.
  6.  21
    Carlos Alchourrón y la Inteligencia Artificial.Raúl Carnota & Ricardo Rodríguez - 2006 - Análisis Filosófico 26 (1):9-52.
    Las investigaciones que Carlos Alchourrón desarrolló en la Filosofía del Derecho se vincularon, desde inicios de la década de 1980, con problemáticas críticas de la Inteligencia Artificial. Su contribución a la construcción de una lógica de las normas se conectó rápidamente con la deducción automática y los Sistemas Expertos Jurídicos. Su preocupación por la cuestión de los conflictos de obligaciones que pueden plantearse en un sistema normativo cuando el juez se enfrenta a la necesidad de emitir un veredicto considerando ciertos (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7.  19
    Logical Approaches to Fuzzy Similarity-Based Reasoning: An Overview.Lluís Godo & Ricardo O. Rodríguez - 2008 - In Giacomo Della Riccia, Didier Dubois & Hans-Joachim Lenz (eds.), Preferences and Similarities. Springer. pp. 75--128.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8.  14
    Estrategias de Ahorro de Energía En Administraciones Municipales Encaminadas a Contribuir Al Desarrollo Sustentable*(Strategies of Energy Saving in Municipal Administrations Oriented to Contribute with Sustaining Development).Martha Garza, Claudia Moreno, Ricardo Rodríguez, Daniel Zermeño & José Luis Abreu - 2009 - Daena 4 (2):243-277.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography