Sökning: "logical"

Visar resultat 36 - 40 av 356 avhandlingar innehållade ordet logical.

1. 36. Query Processing for Peer Mediator Databases

   Författare :Timour Katchaounov; Tore Risch; Tamer Özsu; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; data integration; mediators; query processing; Computer science; Datalogi;

   Sammanfattning : The ability to physically interconnect many distributed, autonomous and heterogeneous software systems on a large scale presents new opportunities for sharing and reuse of existing, and for the creataion of new information and new computational services. However, finding and combining information in many such systems is a challenge even for the most advanced computer users. LÄS MER

3. 37. Deductive Planning and Composite Actions in Temporal Action Logic

   Författare :Martin Magnusson; Patrick Doherty; John-Jules Meyer; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Temporal Action Logic; deductive planning; composite actions; interval algebra; constraint logic programming; execution monitoring; Computer science; Datalogi;

   Sammanfattning : Temporal Action Logic is a well established logical formalism for reasoning about action and change that has long been used as a formal specification language. Its first-order characterization and explicit time representation makes it a suitable target for automated theorem proving and the application of temporal constraint solvers. LÄS MER

4. 38. Localic Categories of Models and Categorical Aspects of Intuitionistic Ramified Type Theory

   Författare :Johan Lindberg; Erik Palmgren; Peter LeFanu Lumsdaine; Henrik Forssell; Benno van den Berg; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Topos theory; predicative topos theory; ramified type theory; type theory; localic groupoids; Mathematics; matematik;

   Sammanfattning : This thesis contains three papers, all in the general area of categorical logic, together with an introductory part with some minor results and proofs of known results which does not appear to be (easily) available in the literature.In Papers I and II we investigate the formal system Intuitionistic Ramified Type Theory (IRTT), introduced by Erik Palmgren, as an approach to predicative topos theory. LÄS MER

5. 39. Guds karneval : en religionspsykologisk studie av Toronto-vekkelsens spiritualitet

   Författare :Dagfinn Ulland; Centrum för teologi och religionsvetenskap; []
   Nyckelord :HUMANIORA; HUMANITIES; Boily spirituality; Toronto; Blessing; Christianity; Religious Studies and Theology; Kristendom; ecstasy; Religion och teologi;

   Sammanfattning : The purpose of this dissertation was to study how to interpret ecstatic spirituality, illustrated by the Toronto Blessing, from a religio-psycho¬logical point of view. The study is a qualitative research based on inter¬views, field observations and written documents. LÄS MER

7. 40. Analyticity, Necessity and Belief : Aspects of two-dimensional semantics

   Författare :Eric Johannesson; Peter Pagin; Dag Westerståhl; Graeme Forbes; Stockholms universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; two-dimensional semantics; quantified modal logic; propositional attitudes; belief ascriptions; Kripke; descriptivism; necessity; apriority; analyticity; Theoretical Philosophy; teoretisk filosofi;

   Sammanfattning : A glass couldn't contain water unless it contained H2O-molecules. Likewise, a man couldn't be a bachelor unless he was unmarried. Now, the latter is what we would call a conceptual or analytical truth. It's also what we would call a priori. LÄS MER