445 research outputs found
Simplifying Inductive Schemes in Temporal Logic
No full textIn propositional temporal logic, the combination of the connectives "tomorrow" and "always in the future" require the use of induction tools. In this paper, we present a classification of inductive schemes for propositional linear temporal logic that allows the detection of loops in decision procedures. In the design of automatic theorem provers, these schemes are responsible for the searching of efficient solutions for the detection and management of loops. We study which of these schemes have a good behavior in order to give a set of reduction rules that allow us to compute these schemes efficiently and, therefore, be able to eliminate these loops. These reduction laws can be applied previously and during the execution of any automatic theorem prover. All the reductions introduced in this paper can be considered a part of the process for obtaining a normal form of a given formula
Libro de ingresos y egresos de los fondos de Providencias y de las Ánimas del Purgatorio
No full textLibro de ingresos y egresos de los fondos de Providencias y de las Ánimas del Purgatorio, 190
Libro 2 de ingresos y egresos de cera así como los de efectivo que corresponden al fondo de la divina providencia cuya hermandad se estableció el mes de noviembre de 1915
No full textLibro 2 de ingresos y egresos de cera así como los de efectivo que corresponden al fondo de la divina providencia, cuya hermandad se estableció el mes de noviembre de 191
Libro de inventario de la Parroquia de Tepecoacuilco, Gro. No. 1
No full textLibro de inventario de la Parroquia de Tepecoacuilco, Gro. No. 1, 188
- …
