Sökning: "quantifier"

Visar resultat 1 - 5 av 17 avhandlingar innehållade ordet quantifier.

1. 1. La syntaxe de seul et seulement

   Författare :Anne Börjesson; Franska; []
   Nyckelord :HUMANIORA; HUMANITIES; quantifier; seul; syntax; Franska språket; French; French language; seulement; adverb; Jämförande lingvistik; Comparative linguistics; adjective;

   Sammanfattning : The overall aim of this study is to describe a number of different uses of the French "seul" and "seulement", and to account for the observed differences within a generative framework. After an introductory chapter, chapters two and three present a survey of earlier studies. LÄS MER

3. 2. Term-modal logic and quantifier-free dynamic assignment logic

   Författare :Lars Thalmann; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Information technology; Informationsteknik;

   Sammanfattning : In this dissertation, we present two new sorts of computer sciencelogics. Many powerful logics exist today for reasoning about multi-agentsystems, but in most of these it is hard to reason about an infiniteor indeterminate number of agents. Also the naming schemes used inthe logics often lack expressiveness to name agents in an intuitiveway. LÄS MER

4. 3. Konzeptuelle Struktur und materielle Manifestation : Nominale Part-Whole-Konstruktionen aus einer typologischen Perspektive

   Författare :Daniel Ormelius; Tyska; []
   Nyckelord :HUMANIORA; HUMANITIES; typological patterns; spatial representations; conceptual structures; morphosyntactic structures; ‘part-whole’ constructions; boundedness; internal structure; quantification; referentiality; quantifier phrase; noun phrase; determiner phrase; German language and literatur; Tyska språk och litteratur ;

   Sammanfattning : The aim of this thesis is to investigate the relation between intrasubjective mental representations – ‘conceptual structures’ – and their intersubjectively available material manifestation, in particular morphosyntactic representations. Such an investigation presupposes the analysis of not only extralinguistically established modules but also of structural levels that are inherent components of the language system. LÄS MER

5. 4. First-Order Logic and Classical Theism : Toward Logical Reorientation

   Författare :Anders Kraal; Eberhard Herrmann; Mikael Stenmark; Simo Knuuttila; Uppsala universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; classical theism; divine simplicity; divine attributes; God; Augustine; Thomas Aquinas; first-order logic; formalization; argument-function analysis; quantifier analysis; bivalence; natural deduction; truth-bearer; inference; inference rule; logical validity; logical pluralism; logical monism; G. Frege; B. Russell; L. Wittgenstein; R. Carnap; J. Maritain; J. Salamucha; J. Bocheński; W.V.O. Quine.; Religion Theology; Religionsvetenskap Teologi;

   Sammanfattning : This inquiry seeks an answer to the question whether classical theistic doctrines about the nature of God are amenable to formal analysis in terms of standard first-order logic. It is argued that due to the conceptual impact of classical theism’s doctrine of divine simplicity there is a good reason for answering this question in the negative. LÄS MER

7. 5. Quantifiers and Theories : A Lazy Approach

   Författare :Peter Backeman; Philipp Rümmer; Jie-Hong Roland Jiang; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Automated Reasoning; Automated Theorem Proving; SMT; Unification; Datavetenskap med inriktning mot inbyggda system; Computer Science with specialization in Embedded Systems;

   Sammanfattning : In this thesis we study Automated Theorem Proving (ATP) as well as Satisfiability Modulo Theories (SMT) and present lazy strategies for improving reasoning within these areas. A lazy strategy works by simplifying a problem, and gradually refines the abstraction only when necessary. LÄS MER