23 resultados para media logic
Resumo:
[ES]A lo largo de este artículo se pasan revista a cinco cuentiones que muestran la evolución de la pena de muerte en la Corona de Castilla a lo largo de la Edad Media. En primer lugar, se presta atención al paso de la ejecución privada de la justicia a la pública y en qué casos se mantuvo la venganza, aunque con la autorización judicial. En segundo lugar, se pasa revista a las formas de aplicar la pena de muerte, privilegiando los siguientes tipos: el ahorcamiento por los pies, el asaeteamiento, el empozamiento y el encubamiento. En tercer lugar, se expone el ritual de ejecución de las penas capitales desde que el reo sale de la cárcel y es conducido al cadalso, hasta que el cuerpo es sepultado o queda expuesto a perpetuidad. En cuarto lugar, se reflexiona sobre la incidencia de la rebeldía o contumacia del acusado ante los requerimientos de la justicia en la imposición de la pena de muerte. En quinto y último lugar, se analizan las circunstancias que llevaron a la Corona de Castilla, a partir del último tercio del siglo XV, a relegar la pena de muerte entre el elenco punitivo y preferir castigos que tuvieran utilidad pública.
Resumo:
[ES]Análisis del delito de estupro en los siglos XIV y XVII en los reinos de Castilla y de Navarra a través de la legislación y las fuentes judiciales.
Resumo:
[ES]En este artículo se analizan las acciones de piratería y de corso sufridas o protagonizadas por naturales del País Vasco en el siglo XV. Igualmente se analiza la concesión de cartas de marca y represalia para resarcirse de las acciones piráticas. Y, por último, la persecución de la pirtaería por parte de las autoridades de la provincia de Guipúzcoa, a través de la institución de la Hermamdad, mediante el ejemplo de un buque inglés capturado por piratas vascos.
Resumo:
[ES]En este artículo se realiza un repaso por la organización de la justicia (corpus, instancias...)en el territorio del Señorío de Vizcaya (País Vasco) en la Edad Media.
Resumo:
[ES]el presente artículo es un intento de sintetizar las principales aportaciones que sobre hábitat y poblamiento se han hecho en los últimos veinticinco años en el ámbito de la investigación histórica y arqueológica del País Vasco, así como los debates que sobre cuestiones concretas se vienen produciendo entre los especialistas. Por tanto, trata de establecer un estado de la cuestión. El análisis tiene una pretensión diacrónica, por ello realiza un recorrido por las diferentes formas de hábitat y poblamiento que los habitantes del País Vasco utilizaron desde la caída del imperio romano hasta el siglo XIX.
Resumo:
[ES]Durante el tránsito de la Edad Media a la Edad Moderna los linajes urbanos y los Parientes Mayores siguieron compartiendo intereses comunes y estrechos lazos sanguíneos y económicos, que les permitieron monopolizar el poder de las villas guipuzcoanas y copar la mayor parte de los cargos concejiles, dando lugar a un proceso de oligarquización. El trabajo de investigación se vale de métodos prosopográficos para analizar una serie de fuentes inéditas o escasamente utilizadas hasta la fecha, complementadas por otras suficientemente conocidas, para demostrar que, a pesar de lo que ha venido manteniendo la historiografía, los Parientes Mayores no fueron vencidos y desplazados por los linajes urbanos, si no que se produjo una simbiosis entre ambos, lo que les permitió seguir controlando la vida política local y provincial de forma directa o indirecta.
Resumo:
[ES] En este artículo se analiza la evolución de las técnicas de construcción naval vascas durante la Edad Media, no sólo a través de los testimonios escritos y arqueológicos existentes hasta la fecha, sino también a través de las representaciones iconográficas que aparecen en iglesias y edificios públicos.
Resumo:
[ES] En este investigación se analiza el rico mundo de las supersticiones, de la magia, de la hechicería y de la brujería vasca medieval, centrándose especialmente en el foco de brujería que afectó a la comarca del Duranguesado y que ha pasado a la historiografía y a la tradición popular bajo el sobre nombre de brujas del Amboto.
Resumo:
Eguíluz, Federico; Merino, Raquel; Olsen, Vickie; Pajares, Eterio; Santamaría, José Miguel (eds.)
Resumo:
In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive definition of eventualities that is different from the usual one. On the basis of this non-customary inductive definition for eventualities, we first provide dual systems of tableaux and sequents for Propositional Linear-time Temporal Logic (PLTL). Then, we adapt the deductive approach introduced by means of these dual tableau and sequent systems to the resolution framework and we present a clausal temporal resolution method for PLTL. Finally, we make use of this new clausal temporal resolution method for establishing logical foundations for declarative temporal logic programming languages. The key element in the deduction systems for temporal logic is to deal with eventualities and hidden invariants that may prevent the fulfillment of eventualities. Different ways of addressing this issue can be found in the works on deduction systems for temporal logic. Traditional tableau systems for temporal logic generate an auxiliary graph in a first pass.Then, in a second pass, unsatisfiable nodes are pruned. In particular, the second pass must check whether the eventualities are fulfilled. The one-pass tableau calculus introduced by S. Schwendimann requires an additional handling of information in order to detect cyclic branches that contain unfulfilled eventualities. Regarding traditional sequent calculi for temporal logic, the issue of eventualities and hidden invariants is tackled by making use of a kind of inference rules (mainly, invariant-based rules or infinitary rules) that complicates their automation. A remarkable consequence of using either a two-pass approach based on auxiliary graphs or aone-pass approach that requires an additional handling of information in the tableau framework, and either invariant-based rules or infinitary rules in the sequent framework, is that temporal logic fails to carry out the classical correspondence between tableaux and sequents. In this thesis, we first provide a one-pass tableau method TTM that instead of a graph obtains a cyclic tree to decide whether a set of PLTL-formulas is satisfiable. In TTM tableaux are classical-like. For unsatisfiable sets of formulas, TTM produces tableaux whose leaves contain a formula and its negation. In the case of satisfiable sets of formulas, TTM builds tableaux where each fully expanded open branch characterizes a collection of models for the set of formulas in the root. The tableau method TTM is complete and yields a decision procedure for PLTL. This tableau method is directly associated to a one-sided sequent calculus called TTC. Since TTM is free from all the structural rules that hinder the mechanization of deduction, e.g. weakening and contraction, then the resulting sequent calculus TTC is also free from this kind of structural rules. In particular, TTC is free of any kind of cut, including invariant-based cut. From the deduction system TTC, we obtain a two-sided sequent calculus GTC that preserves all these good freeness properties and is finitary, sound and complete for PLTL. Therefore, we show that the classical correspondence between tableaux and sequent calculi can be extended to temporal logic. The most fruitful approach in the literature on resolution methods for temporal logic, which was started with the seminal paper of M. Fisher, deals with PLTL and requires to generate invariants for performing resolution on eventualities. In this thesis, we present a new approach to resolution for PLTL. The main novelty of our approach is that we do not generate invariants for performing resolution on eventualities. Our method is based on the dual methods of tableaux and sequents for PLTL mentioned above. Our resolution method involves translation into a clausal normal form that is a direct extension of classical CNF. We first show that any PLTL-formula can be transformed into this clausal normal form. Then, we present our temporal resolution method, called TRS-resolution, that extends classical propositional resolution. Finally, we prove that TRS-resolution is sound and complete. In fact, it finishes for any input formula deciding its satisfiability, hence it gives rise to a new decision procedure for PLTL. In the field of temporal logic programming, the declarative proposals that provide a completeness result do not allow eventualities, whereas the proposals that follow the imperative future approach either restrict the use of eventualities or deal with them by calculating an upper bound based on the small model property for PLTL. In the latter, when the length of a derivation reaches the upper bound, the derivation is given up and backtracking is used to try another possible derivation. In this thesis we present a declarative propositional temporal logic programming language, called TeDiLog, that is a combination of the temporal and disjunctive paradigms in Logic Programming. We establish the logical foundations of our proposal by formally defining operational and logical semantics for TeDiLog and by proving their equivalence. Since TeDiLog is, syntactically, a sublanguage of PLTL, the logical semantics of TeDiLog is supported by PLTL logical consequence. The operational semantics of TeDiLog is based on TRS-resolution. TeDiLog allows both eventualities and always-formulas to occur in clause heads and also in clause bodies. To the best of our knowledge, TeDiLog is the first declarative temporal logic programming language that achieves this high degree of expressiveness. Since the tableau method presented in this thesis is able to detect that the fulfillment of an eventuality is prevented by a hidden invariant without checking for it by means of an extra process, since our finitary sequent calculi do not include invariant-based rules and since our resolution method dispenses with invariant generation, we say that our deduction methods are invariant-free.
Resumo:
Santamaría, José Miguel; Pajares, Eterio; Olsen, Vickie; Merino, Raquel; Eguíluz, Federico (eds.)
Resumo:
Eterio Pajares, Raquel Merino y José Miguel Santamaría (eds.)
Resumo:
10 p.
Resumo:
668 p. : il. - Obtuvo por unanimidad la máxima calificación de "apto cum laude" ante el tribunal
Resumo:
[ES] Este artículo pretende analizar la evolución de las prácticas trashumantes en el País Vasco