-
In the literature there has been much debate concerning the question
of whether forms are essentially _monosemous_, that is, associated
with _one_ abstract meaning, or whether such abstractions are
principally underspecified; according to the latter approach, meanings
are essentially _polysemous_...
-
%Nr: DS-2001-01
%Author: Maria Aloni
%Title: Quantification under Conceptual Covers
Someone has killed Spiderman. After a careful investigation you
discover that John Smith is the culprit and now you want to
arrest him. He is attending a masked ball. You go there, but you
do not know what he lo...
-
%Nr: DS-2001-01
%Author: Alexander P.M. van den Bosch
%Title: Rationality in Discovery A Study of Logic, Cognition, Computation and
Neuropharmacology
Part I Introduction
The specific problem adressed in this thesis is: what is the rational use of
theory and experiment in the process of scien...
-
%Nr: DS-2001-03
%Author: Erik de Haas
%Title: Logics for OO Information Systems: a semantic study of object
% orientation from a categorial-substructural perspective.
Recent years have seen the convergence of many disciplines in
information systems facilitated by the concepts of Object
...
-
This thesis consists of two parts. In the first part the provability and
preservativity logic of Heyting Arithmetic are studied, and the second part
contains results in intuitionistic propositional logic. The two parts are
connected via admissible rules; they play a central role in the pro...
-
In this thesis we study definability and interpolation. These are
properties of logics such as compactness or decidability that have
been established as yardsticks by which to measure the behavior of
logics. What do they look like? In a slogan, the _Beth
(definability) property_ states that im...
-
%Nr: DS-2001-06
%Author: Ronald de Wolf
%Title: Quantum Computing and Communication Complexity
Computers are physical objects and hence should follow the laws of
physics. Somewhat surprisingly, today's computers (theoretical Turing
machines as well as desk-top PCs) are developed on the model of
...
-
Logics and provability
Katsumi Sasaki
In this thesis, we treat three kinds of propositional logics. The
first kind connects with a non-modal propositional logic, called
formal propositional logic (FPL), another is an intuitionistic modal
logic, and the third kind consists of interpretability l...
-
This thesis deals with the dynamics of belief. In three
interconnected, though independent studies, a viable alternative to
foundational approaches in epistemology is explored. Rather than
accept the research agenda dictated by traditional epistemology, with
its stress on the pursuit of condition...
-
-
The term "social software" refers to the project of analyzing social
procedures and processes using the formal methods of computer science.
Examples of the social procedures we have in mind are cake-cutting
algorithms and voting procedures. What distinguishes these procedures
is that there are a...