14 research outputs found
Divulgaciones Matemáticas Vol. 9 No. 2(2001), pp. 137–147 Remarks on Intuitionistic Modal Logics
This paper is devoted to study an extension of intuitionistic modal logic introduced by Fischer-Servi [6] by means of Lemmon-Scott axiom. We shall prove that this logic is canonical. Key words and phrases: modal logic, intuitionistic logic, intuitionistic modal Logic. Resumen Este trabajo se dedica a estudiar una extensión de la lógica modal intuicionista introducida por Fischer-Servi [6] por medio del axioma de Lemmon-Scott. Se prueba que esta lógica es canónica. Palabras y frases clave: lógica modal, lógica intuicionista, lógica modal intuicionista,
Observaciones militares, políticas y geográficas sobre Marruecos hechas durante mi expedición al interior y costas del imperio en el año 1884
Autografo firmadoReproducción digital. Madrid : Ministerio de Defensa, 201
Observaciones que hace la Junta Consultiva del Ministerio de la Guerra en cumplimiento de la real órden de 7 de diciembre de 1820 sobre el proyecto de ley constitutiva del ejército presentado á las Córtes por sus comisiones reunidas de organización de fuerza armada y de milicias
Fechado en Madrid 21 de marzo de 1821 ; firmado por el Marqués de la Reunión, Presidente de la Junta (Francisco Javier Venegas de Saavedra y Rodríguez de Arenzana, Virrey de Nueva España, Marqués de la Reunión de Nueva España)Incluye, al final: "Erratas y omisiones"Error de páginación, de p. 32 pasa a p. 53Signaturizad