Results for 'Sánchez-Mazas Miguel Miguel'

998 found
Order:
  1.  34
    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.
  2.  25
    Le Programme “Ars Judicandi”.Miguel Sánchez-Mazas - 1986 - Theoria 1 (3):779-817.
  3. 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  
  4.  25
    Apoyo a Los “Amigos de la Cultura Científica”.Miguel Sánchez-Mazas - 1987 - Theoria 2 (2):649-650.
  5.  33
    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  
  6. Calcul automatique des normes et propositions juridiques.Miguel Sánchez Mazas - 1972 - Teorema: International Journal of Philosophy 6 (2):25-56.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. 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  
  8.  25
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  32
    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  
  10.  26
    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  
  11.  46
    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  
  12.  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.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  26
    Las Jornadas Internacionales de San Sebastián.Miguel Sánchez-Mazas - 1987 - Theoria 3 (1):1-3.
  14.  32
    “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.
  15. 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  
  16. Modelos aritméticos para la informática jurídica (Introducción).Miguel Sánchez-Mazas Ferlosio - 1978 - Teorema: International Journal of Philosophy 8 (1):5-18.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  29
    Normas Y Convenios.Miguel Sánchez-Mazas - 1986 - Theoria 1 (3):857-858.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  35
    Problemas Cetuales de la Documentación Y la Informática Jurídica.Miguel Sánchez-Mazas - 1986 - Theoria 1 (3):859-860.
  19.  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.
  20.  26
    Sistemas Expertos.Miguel Sánchez-Mazas - 1986 - Theoria 1 (3):854-855.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  36
    Sobre la Analogía En El Derecho: Ensayo de Un Razona Miento Jurídico.Miguel Sánchez-Mazas - 1986 - Theoria 2 (1):210-213.
  22.  30
    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.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  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  
  24.  34
    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  
  25.  36
    Sánchez-Mazas Miguel. Notas preliminares para la fundamentación de una Lógica matemática comprehensiva . Theoria , vol. 1 no. 1 , pp. 25–26. [REVIEW]Robert Feys - 1956 - Journal of Symbolic Logic 21 (1):105-105.
    Direct download (9 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  4
    Sánchez-Mazas Miguel. Un intento de expresión matemática de la lógica modal clasica: El grupo de matrices modales y el sistema de coordenadas modales. Theoria , vol. 2 no. 7–8 , pp. 188–192. [REVIEW]Robert Feys - 1956 - Journal of Symbolic Logic 21 (1):106-107.
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27.  31
    II Congreso Internacional de Lógica, Informática Y Derecho.Ana Azurmendi & Miguel Sanchez-Mazas - 1985 - Theoria 1 (2):597-598.
  28.  3
    Miguel Sanchez-Mazas. Sobre Un Pasaje de Aristóteles y El Cálculo Lógico de Leibniz. Revista de Filosofia , Vol. 10 , Pp. 529–534. [REVIEW]Nicholas Rescher - 1955 - Journal of Symbolic Logic 20 (2):171-172.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29.  5
    Review: Miguel Sanchez-Mazas, Sobre un Pasaje de Aristoteles y el Calculo Logico de Leibniz. [REVIEW]Nicholas Rescher - 1955 - Journal of Symbolic Logic 20 (2):171-172.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  13
    Miguel Sánchez-Mazas. Sobre la estructura de la lógica modal. Episteme, Anuario de filosofia , for 1961–63, pub. 1965, pp. 347–361. [REVIEW]Hector-Neri Castañeda - 1967 - Journal of Symbolic Logic 32 (3):399-400.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31. Review: Miguel Sanchez-Mazas, Sobre la Estructura de la Logica Modal. [REVIEW]Hector-Neri Castaneda - 1967 - Journal of Symbolic Logic 32 (3):399-400.
     
    Export citation  
     
    Bookmark  
  32. 50 años de actividad científica (1946-1995).Miguel Sánchez-Mazas Ferlosio - 1996 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 11 (2):13-25.
    Translate
     
     
    Export citation  
     
    Bookmark  
  33. Actualisation, développement et perfectionnement des calculs logiques arithmético-intensionnels de Leibniz.Miguel Sánchez-Mazas Ferlosio - 1991 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 6 (1-2):175-259.
    Translate
     
     
    Export citation  
     
    Bookmark  
  34. Colaboración.Miguel Sánchez-Mazas Ferlosio - 1995 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 10 (2):3-4.
    Translate
     
     
    Export citation  
     
    Bookmark  
  35. Calcul automatique des normes et propositions juridiques.Miguel Sánchez-Mazas Ferlosio - 1972 - Teorema: International Journal of Philosophy 2 (6):25-56.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  36. Cálculo aritmético de las proposiciones.Miguel Sánchez-Mazas Ferlosio - 1971 - Teorema: International Journal of Philosophy 1 (3):63-92.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  10
    Concepto y Número: Invariantes Numéricos y Juicios de Existencia En la Perspectiva Intensional de Leibniz.Miguel Sánchez-Mazas Ferlosio - 1992 - Theoria 7 (16):198-278.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38. Eadem Mutata Resurgo.Miguel Sánchez-Mazas Ferlosio - 1985 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 1 (1):1-12.
    Translate
     
     
    Export citation  
     
    Bookmark  
  39. El poliedro imposible: ciencia y filosofía, tecnología y utopía.Miguel Sánchez-Mazas Ferlosio - 1998 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 13 (2):213-231.
    Translate
     
     
    Export citation  
     
    Bookmark  
  40. Formalización de la Lógica según la perspectiva de la comprehensión.Miguel Sánchez-Mazas Ferlosio - 1955 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 3 (1):105-117.
    Translate
     
     
    Export citation  
     
    Bookmark  
  41. Invarianti numerici internazionali per il confronto automatico -sincronico e/o diacronico- delle legislazioni: un modello matematico per il Diritto comparato.Miguel Sánchez-Mazas Ferlosio - 1987 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 3 (1-3):379-431.
    Translate
     
     
    Export citation  
     
    Bookmark  
  42. Internacional y transpeninsular.Miguel Sánchez-Mazas Ferlosio - 1989 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 4 (2):323-326.
    Translate
     
     
    Export citation  
     
    Bookmark  
  43. Los Cálculos Lógicos a Leibniz a Los 325 Años de Su "Dissertatio de Arte Combinatoria".Miguel Sánchez-Mazas Ferlosio - 1991 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 6 (1-2):1-8.
    Translate
     
     
    Export citation  
     
    Bookmark  
  44. Los Juicios de la Matemática y El Modo de Existencia de Sus Objetos.Miguel Sánchez-Mazas Ferlosio - 1952 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 1 (2):60-70.
    Translate
     
     
    Export citation  
     
    Bookmark  
  45. Las Jornadas Internacionales de San Sebastián.Miguel Sánchez-Mazas Ferlosio - 1987 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 3 (1-3):1-3.
    Translate
     
     
    Export citation  
     
    Bookmark  
  46. Le programme "Ars Judicandi".Miguel Sánchez-Mazas Ferlosio - 1986 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 1 (3):779-817.
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  13
    La teoría del silogismo desarrollada en forma de álgebra.Miguel Sánchez-Mazas Ferlosio - 1954 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 2 (1-2):95-109.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48. Leonardo Torres Quevedo, Precursor de la Moderna Ciencia Automática.Miguel Sánchez-Mazas Ferlosio - 1953 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 1 (3):178-183.
    Translate
     
     
    Export citation  
     
    Bookmark  
  49. Notas sobre la Combinatoria de Leibniz.Miguel Sánchez-Mazas Ferlosio - 1953 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 2 (5):133-145.
    Translate
     
     
    Export citation  
     
    Bookmark  
  50.  11
    Sobre el problema matemático del ajedrez.Miguel Sánchez-Mazas Ferlosio - 1953 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 1 (3):184-191.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 998