24 found
Order:
Disambiguations
Miguel Sanchez-Mazas [75]Miguel Miguel Sánchez-Mazas [1]
  1.  35
    Sobre la Analogía En El Derecho: Ensayo de Un Razona Miento Jurídico.Miguel Sánchez-Mazas - 1986 - Theoria 2 (1):210-213.
  2.  24
    Le Programme “Ars Judicandi”.Miguel Sánchez-Mazas - 1986 - Theoria 1 (3):779-817.
  3.  32
    Participación Española E Iberoamericana En El VIII Congreso Internacional de Lógica, Metodología Y Filosofía de la Ciencia En Moscú.Sánchez-Mazas Miguel Miguel - 1987 - Theoria 2 (2):650-652.
  4.  40
    Invarianti Numeriei Internazionali Per Il Confronto Automatico -Sincronieo E/o Diacronieo- Delle Legislazioni: Un Modello Matematico Per Il Diritto Comparato.Miguel Sánchez-Mazas - 1987 - Theoria 3 (1):379-431.
    Descrizione degli obbiettivi, le tecniche ed i primi risultati di una ricerca attualmente in corso all’Università del Paese Basco per applicare il metodo degli invarianti numerici delle classi di equivalenza -già applicato (si veda “Il programma Ars Judicandi”) sul piano di una legislazione nazionale- alla costruzione di un modello matematico per automatizzare le operazioni di analisi logica parallela, confronto e decisione su diverse legislazioni nazionaIi, simultaneamente iscritte nel quadro di una “rete deontica internazionale” che descrive per ciascuna di esse i (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  34
    Problemas Cetuales de la Documentación Y la Informática Jurídica.Miguel Sánchez-Mazas - 1986 - Theoria 1 (3):859-860.
  6.  29
    Théories Syllogistiques Et Déontiques Analysées Comme Structures Algébriques: De Leibniz Á Łukasiewicz Et Von Wright.Miguel Sánchez-Mazas - 1990 - Theoria 5 (1):193-221.
  7.  28
    Normas Y Convenios.Miguel Sánchez-Mazas - 1986 - Theoria 1 (3):857-858.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  30
    EI Poliedro Imposible: Ciencia Y Filosofia, Tecnología Y Utopía (the Impossible Polyhedron: Science and Philosophy, Technology and Utopia).Miguel Sánchez-Mazas - 1998 - Theoria 13 (2):213-231.
    A través de los recursos esenciales de la semantica de los mundos posibles se comparan y relacionan, por un lado, la dimensión científica y filosófica, y por otro, la dimensión tecnica y la utópica, utilizándose para ello las relaciones entre composibilidad (o compatibilidad) y existencia, y entre el mundo actual, en el que opera la técnica, y mundos posibles, hacia los que se proyecta la utopía. En esta tarea resulta de interés prestar atención a la problematica clasica acerca de los (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  30
    Actualisation, Développement Et Perfectionnement Des Calculs Logiques Arithmético-Intensionnels de Leibniz.Miguel Sánchez-Mazas - 1991 - Theoria 6 (1):175-259.
    In the parts I and II of this paper, the Author shows:1. how Leibniz’s arithmetico-intensional logical calculi of April 1679 can be completed and transformed in an intensional Boolean algebra (U, v, &:, -, e, -e) admitting, on the one hand, two different logical interpretations:li1: as a complete and consistent calculus of terms (properties) and syllogistic;li2: as a deontic first-order calculus and, on the other hand, two different arithmetical interpretations:ai1: as a numerical Boolean algebra (DM, lcm, ged, M/..., 1, M) (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  31
    Los calcuLos Lógicos de Leibniz a Los 325 Años de Su Dissertatio de Arte Combinatoria.Miguel Sánchez-Mazas - 1991 - Theoria 6 (1):1-8.
  11.  25
    Apoyo a Los “Amigos de la Cultura Científica”.Miguel Sánchez-Mazas - 1987 - Theoria 2 (2):649-650.
  12.  25
    Las Jornadas Internacionales de San Sebastián.Miguel Sánchez-Mazas - 1987 - Theoria 3 (1):1-3.
  13.  30
    II Congreso Internacional de Lógica, Informática Y Derecho.Ana Azurmendi & Miguel Sanchez-Mazas - 1985 - Theoria 1 (2):597-598.
  14.  26
    Une Méthode Arithmétique de Décision Pour le Système Modal S5 Par Des Invariants Numériques de Ses Classes D'Équivalence.Miguel Sánchez-Mazas - 1989 - Theoria 4 (2):491-513.
    Il s’agit d’une methode qui permet d’associer à chaque formule bien formée du système S5 de logique modale un nombre naturel invariant pour toutes les formules qui appartiennent a la même classe d’equivalence que la première.En particulier, étant donné que la méthode associe à toutes les tautologies du système le nombre o et a toutes les contradictions du système un certain nombre Φ, il suffit de calculer le nombre qui, en vertu des associations fondamentales, reste associé à n’importe quelle formule (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  29
    Un Lenguaje Aritmético Como Instrumento de Análisis Y de Decisión En Lógica Y En Derecho.Miguel Sánchez-Mazas - 1987 - Theoria 2 (2):503-566.
    An arithmetical language, whose words are natural numbers written in hexadecimal numeration system, is defined and its applications for the representation, analysis and decision of formulae of some logical and normative systems are described and illustrated.The formulae, operations and relations of the represented system are associated as follows respectively to the numbers and the arithmetical operations and relations of the proposed language:1. Each well-formed-formula of the system is associated to a number of a set of natural numbers between zero (associated (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  28
    “La Negation Sous Divers Aspects”. Colloque Organisé Par le Centre de Recherches Sémiologiques de Neuchâtel Et Hommage À Jean-Blaise Grize.Miguel Sánchez-Mazas - 1987 - Theoria 2 (2):659-660.
  17.  26
    Sistemas Expertos.Miguel Sánchez-Mazas - 1986 - Theoria 1 (3):854-855.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  25
    Primer Simposio “Leonardo Torres Quevedo: Su Vida, Su Tiempo, Su Obra”, Organizado Por la Asociación “Amigos de la Cultura Científica”.Miguel Sánchez-Mazas - 1987 - Theoria 2 (2):646-649.
  19.  23
    III Congreso de Lenguajes Naturales Y Lenguajes Formales En Sitges.Miguel Sánchez-Mazas - 1987 - Theoria 2 (2):657-659.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  14
    Zum Problem der Konstitution von Bedeutung.Hans Heinz Holz, H. G. Alexander, Hugo Dingler, Dimitri Riabouchinsky, Miguel Sanchez-Mazas & J. W. Scott - 1955 - Journal of Symbolic Logic 20 (1):57-58.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  16
    Essai de Représentation Par des Nombres Réels d'Une Analyse Infinite des Notions Individuelles Dans Une Infinité de Mondes Possibles.Miguel Sánchez-Mazas - 1989 - Argumentation 3 (1):75-96.
    The aim of this study is to try to make use of real numbers for representing an infinite analysis of individual notions in an infinity of possible worlds.As an introduction to the subject, the author shows, firstly, the possibility of representing Boole's lattice of universal notions by an associate Boole's lattice of rational numbers.But, in opposition to the universal notions, definable by a finite number of predicates, an individual notion, cannot admits this sort of definition, because each state of an (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  22. Cálculo aritmético de las proposiciones.Miguel Sánchez-Mazas - 1971 - Teorema: International Journal of Philosophy 3 (3):63-92.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  23. Modelos aritméticos para la informática jurídica (Introducción).Miguel Sánchez-Mazas - 1978 - Teorema: International Journal of Philosophy 8 (1):19-27.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  24. Calculemos-- Matemáticas y Libertad Homenaje a Miguel Sánchez-Mazas.Javier Echeverría, Javier de Lorenzo, Lorenzo Peña & Miguel Sánchez-Mazas - 1996
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark