-
This dissertation is a collection of five loosely connected papers on various subjects within the framework of so-called combinatorial algebras, ie. models of combinatorial logic. The articles are preceded by a general introduction and a brief survey of some of the basic notions for combinatory a...
-
-
-
This dissertation consists of a number of papers on dialogical logic. The dialogical approach in logic is characterized by the way logical constants are defined: not by means of semantic rules, rules of inference, or axioms, but by means of rules that determine when and how sentences with a give...
-
-
*Title of this thesis*
In the present work we are exclusively concerned with the study of syntactical properties of λ—calculus (λ, for short), Combinatory Logic (CL), Recursive Program Schemes, and in general, Term Rewriting Systems with bound variables; especially those syntactical properties ...
-
This study aims to make for a better understanding of the term ‘Aspects’ in linguistic theory. Its most current application is found in studies on Slavonic languages. In the abundant literature on the contrast between the Durative (or Imperfective) Aspect and the Nondurative (or Perfective) Aspec...
-
In the final chapter of his classic book about pragmatics, Gerald Gazdar (1979) wondered whether truth-conditional semantics can be autonomous with respect to pragmatics. Semantics is autonomous with respect to pragmatics, he said, when the truth conditions of natural language sentences can be de...
-
In this thesis we show by construction of oracle sets that a strong separation of complexity classes in the lower levels of the Polynomial Time Hierarchy is possible.
In chapter I we develop a model for the interpretation of the constructions in subsequent chapters in an informal but precise w...
-
This thesis is concerned with combinatorial logic, not as a basis for the rest of mathematics, but as a formal system for the study of computational procedures. Chapter I provides an overview and extension of already known material.
In Chapter II, the ω-rule is introduced and, using transfinite ...
-
A favorite activity of mathematicians has always been solving equations, this 'solving' in a broad sense.
Until the 20th century, the emphasis was on finding direct, algorithmic methods, which will always be of the utmost importance.
Now consider an equation for example
(*) f(x1, .., xn) = 0 ...