A focused framework for emulating modal proof systems

International audienceSeveral deductive formalisms (e.g., sequent, nested sequent, labeled sequent, hyperse-quent calculi) have been used in the literature for the treatment of modal logics, and some connections between these formalisms are already known. Here we propose a general framework, which is based on a focused version of the labeled sequent calculus by Negri, augmented with some parametric devices allowing to restrict the set of proofs. By properly defining such restrictions and by choosing an appropriate polarization of formulas, one can obtain different, concrete proof systems for the modal logic K and for its extensions by means of geometric axioms. In particular, we show how to use the expressiveness of the labeled approach and the control mechanisms of focusing in order to emulate in our framework the behavior of a range of existing formalisms and proof systems for modal logic

Atresia anal en el perro y el gato

Ponencia en el XXXI CONGRESO NACIONAL DE LA ASOCIACIÓN MEXICANA DE MÉDICOS VETERINARIOS ESPECIALISTAS EN PEQUEÑAS ESPECIES, A.C.La atresia anal es una patología poco frecuente con una prevalencia del 0.13% y del 1.6% para el caso de los perros y de los gatos menores de un año de edad respectivamente, atendidos en nuestro centro hospitalario. En el presente documento se expone la experiencia en el diagnóstico y manejo de tres pacientes con atresia anal, realizamos una revisión de las teorías de los mecanismos fisiopatológicos involucrados en el desarrollo embrionario, y con base en esos criterios, sugerimos la mejor clasificación del tipo de atresia anal partiendo del análisis de las propuestas existentes y su relación con los conceptos actuales de la anatomía embriológica