http://biblioteca.universia.net/vernivel.do?start=40&nivel=11 Mostrando recursos 41 - 60 de 88,632 es http://biblioteca.universia.net/img/logotipo.jpg http://biblioteca.universia.net/ http://biblioteca.universia.net/ficha.do?id=46264888 A propositional temporal logic is introduced whose operators quantify over intervals of a reference time line. The intervals are specified symbolically, for example `next week's weekend'. The specification language for the intervals takes into account all the features of real calendar systems. A simple statement which can be expressed in this language is for example: `yesterday I worked for eight hours with one hour lunch break at noon'. Calendar Logic can be translated into pr... Hans Jürgen Ohlbach; Dov Gabbay http://biblioteca.universia.net/ficha.do?id=48005325 ABSTRACT. A propositional temporal logic is introduced whose operators quantify over intervals of a reference time line. The intervals are specified symbolically, for example ‘next week’s weekend’. The specification language for the intervals takes into account all the features of real calendar systems. A simple statement which can be expressed in this language is for example: ‘yesterday I worked for eight hours with one hour lunch break at noon’. Calendar Logic can be translated into proposi... Hans Jürgen Ohlbach; Dov Gabbay http://biblioteca.universia.net/ficha.do?id=37734214 Academia de Ciencias de la U.R.S.S. http://biblioteca.universia.net/ficha.do?id=38491312 Referencias: R. Castrovol, Pedro de; Castrovol, Pedro de http://biblioteca.universia.net/ficha.do?id=48796404 2d ed. Sigwart, Christoph, 1830-1904. http://biblioteca.universia.net/ficha.do?id=48799973 1 p.l., [v]-vi, [7]-135, [1] p. Jevons, William Stanley, 1835-1882. http://biblioteca.universia.net/ficha.do?id=48980953 Palau, Gladys Dora http://biblioteca.universia.net/ficha.do?id=49176969 xvi, 112 p. Whately, Richard, 1787-1863. http://biblioteca.universia.net/ficha.do?id=49142381 xiii, 266 p. Smith, George H. (George Hugh) http://biblioteca.universia.net/ficha.do?id=41685214 Introduction --- Notes for the Sixth European Summer School in Logic, Language, and Information, Copenhagen 1994 Mads Dam Swedish Institute of Computer Science 1 Introduction and Overview The area of intersection between temporal logic, automata on finite and infinite objects, and classical first- or restricted second-order logics is one of considerable richness. All these areas have long and venerable traditions in mathematics, logic, and theoretical computer science, and their intimate rela... http://biblioteca.universia.net/ficha.do?id=41776152 In this paper I introduce the notion of bilogics, namely logics interpreted over a pair of structures, in contrast to classical logic and many of its variations, the formulae of which are interpreted over one structure. In particular, I introduce and study Contrastive Logic, suitable for expressing contrast and conformity between the two structures involved. A major reason for this study is striving towards an extension of truth-conditional semantics to cover several natural-language particle... http://biblioteca.universia.net/ficha.do?id=41840581 tresses complexity issues, and how proofs can be analyzed to produce computational information, proving a version of the famous Dialectica" theorem of Godel. The course concludes with a discussion of linear logic, a so-called resource-conscious logic; we will discuss the relationship between cut-elimination (proof simplication) in linear logic, and evaluation of programs written in -calculus. Required work: Work for the course will include several problem sets, and some class presentations. ... http://biblioteca.universia.net/ficha.do?id=46494269 In this paper I introduce the notion of bilogics, namely logics interpreted over a pair of structures, in contrast to classical logic and many of its variations, the formulae of which are interpreted over one structure. In particular, I introduce and study Contrastive Logic, suitable for expressing contrast and conformity between the two structures involved. A major reason for this study is striving towards an extension of truth-conditional semantics to cover several natural-language particl... Nissim Francez Computer http://biblioteca.universia.net/ficha.do?id=46884577 Trakhtenbrot theorem is shown to be valid for the three main fuzzy logics - Lukasiewicz, Gödel and product logic. Petr Hajek; Fuzzy Logic http://biblioteca.universia.net/ficha.do?id=35524619 Ejercicio para practicar los conceptos de lógica (Tema 2: Conceptos Genéricos). Saiz Noeda, Maximiliano http://biblioteca.universia.net/ficha.do?id=35524619 Ejercicio para practicar los conceptos de lógica (Tema 2: Conceptos Genéricos). Saiz Noeda, Maximiliano http://biblioteca.universia.net/ficha.do?id=46567248 In this paper we define the rather general framework of Monotonic Logic Programs, where the main results of (definite) logic programming are validly extrapolated. Whenever defining new logic programming extensions, we can thus turn our attention to the stipulation and study of its intuitive algebraic properties within the very general setting. Then, the existence of a minimum model and of a monotonic immediate consequences operator is guaranteed, and they are related as in classical logic pro... Carlos Viegas Damásio; Luís Moniz Pereira http://biblioteca.universia.net/ficha.do?id=47463807 We present translations from a logic with indexed lax modalities to first-order intuitionistic logic and intuitionistic linear logic. These translations rely on a continuation passing style encoding for the lax modalities. We show that our translations preserve provability of formulas. 1 This author was partially sponsored by the Air Force Research Laboratory under grant no. FA87500720028. Deepak Garg; Michael Carl Tschantz http://biblioteca.universia.net/ficha.do?id=41731609 this paper we will restrict attention to propositional linear logic. Patrick Lincoln http://biblioteca.universia.net/ficha.do?id=42147181 this paper we will restrict attention to propositional linear logic Patrick Lincoln