Universiteit van Amsterdam

ILLC Publications, All Series, 1993

CL-1993-01:
Noor van Leusen, László Kálmán The Interpretation of Free Focus
CL-1993-02:
Theo M.V. Janssen An Algebraic View On Rosetta
CL-1993-03:
Patrick Blackburn, Claire Gardent, Wilfried Meyer-Viol Talking about Trees
CT-1993-01:
Marianne Kalsbeek The Vanilla Meta-Interpreter for Definite Logic Programs and Ambivalent Syntax
CT-1993-02:
Sophie Fischer A Note on the Complexity of Local Search Problems
CT-1993-03:
Johan van Benthem, Jan Bergstra Logic of Transition Systems
CT-1993-04:
Karen L. Kwast, Sieger van Denneheuvel The Meaning of Duplicates in the Relational Database Model
CT-1993-05:
Erik Aarts Proving Theorems of the Lambek Calculus of Order 2 in Polynomial Time
CT-1993-06:
Krzysztof R. Apt Declarative programming in Prolog
CT-1993-07:
Janusz A. Pomykala Approximation, Similarity and Rough Constructions, Part I. Elementary Introduction
LP-1993-01:
Martijn Spaan Parallel Quantification
LP-1993-02:
Makoto Kanazawa Dynamic Generalized Quantifiers and Monotonicity
LP-1993-03:
Nikolai Pankrat'ev Completeness of the Lambek Calculus with respect to Relativized Relational Semantics
LP-1993-04:
Jacques van Leeuwen Identity, Quarrelling with an Unproblematic Notion
LP-1993-05:
Jaap van der Does Sums and Quantifiers
LP-1993-06:
Paul Dekker Updates in Dynamic Semantics
LP-1993-07:
Wojciech Buszkowski On the Equivalence of Lambek Categorial Grammars and Basic Categorial Grammars
LP-1993-08:
Zisheng Huang, Peter van Emde Boas Information Acquisition from Multi-Agent resources; abstract
LP-1993-09:
Makoto Kanazawa Completeness and Decidability of the Mixed Style of Inference with Composition
LP-1993-10:
Makoto Kanazawa Weak vs. Strong Readings of Donkey Sentences and Monotonicity Inference in a Dynamic Setting
LP-1993-11:
Friederike Moltmann Resumptive Quantifiers in Exception Sentences
LP-1993-12:
Jaap van der Does On Complex Plural Noun Phrases
LP-1993-13:
Natasha Alechina Binary Quantifiers and Relational Semantics
LP-1993-14:
Mati Pentus Lambek Calculus is L-complete
LP-1993-15:
David Ian Beaver What comes first in Dynamic Semantics
ML-1993-01:
Maciej Kandulski Commutative Lambek Categorial Grammars
ML-1993-02:
Johan van Benthem, Natasha Alechina Modal Quantification over Structured Domains
ML-1993-03:
Mati Pentus The Conjoinablity Relation in Lambek Calculus and Linear Logic
ML-1993-04:
Andreja Prijatelj Bounded Contraction and Many-Valued Semantics
ML-1993-05:
Raymond Hoofman, Harold Schellinx Models of the Untyped l-calculus in Semi Cartesian Closed Categories
ML-1993-06:
J. Zashev Categorial Generalization of Algebraic Recursion Theory
ML-1993-07:
A.V. Chagrov, L.A. Chagrova Algorithmic Problems Concerning First-Order Definability of Modal Formulas on the Class of All Finite Frames
ML-1993-08:
Raymond Hoofman, Ieke Moerdijk Remarks on the Theory of Semi-Functors
ML-1993-09:
A.S. Troelstra Natural Deduction for Intuitionistic Linear Logic
ML-1993-10:
Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs
ML-1993-11:
Lex Hendriks Inventory of Fragments and Exact Models in Intuitionistic Propositional Logic
ML-1993-12:
V.Yu. Shavrukov Remarks on Uniformly Finitely Precomplete Positive Equivalences
ML-1993-13:
V.Yu. Shavrukov Undecidability in Diagonizable Algebras
ML-1993-14:
Dick de Jongh, Albert Visser Embeddings of Heyting Algebras (superseded by ML-1995-06)
ML-1993-15:
G.K. Dzhaparidze Effective Truth
ML-1993-16:
Maarten de Rijke Correspondence Theory for Extended Modal Logics
ML-1993-17:
Alexander Chagrov, Michael Zakharyaschev On the Independent Axiomatizability of Modal and Intermediate Logics
ML-1993-18:
Jaap van Oosten Extensional Realizability
ML-1993-19:
Raymond Hoofman Comparing Models of the Non-Extensional Typed l-Calculus
ML-1993-20:
L.A. Chagrova, Dick de Jongh The Decidability of Dependency in Intuitionistic Propositional Logic
ML-1993-21:
Max I. Kanovich The Relational Knowledge-Base Interpretation and Feasible Theorem Proving for Intuitionistic Propositional Logic
ML-1993-22:
Andreja Prijatelj Connectification for $n$-contraction
X-1993-01:
Paul Dekker Existential Disclosure (revised version of LP-1990-17)
X-1993-02:
Maarten de Rijke What is Modal Logic?
X-1993-03:
Michiel Leezenberg Gorani Influence on Central Kurdish: Substratum or Prestige Borrowing
X-1993-04:
A.S. Troelstra (editor) Metamathematical Investigation of Intuitionistic Arithmetic and Analysis, Corrections to the First Edition
X-1993-05:
A.S. Troelstra (editor) Metamathematical Investigation of Intuitionistic Arithmetic and Analysis, Second, corrected Edition
X-1993-06:
Michael Zakharyashev Canonical Formulas for K4. Part II: Cofinal Subframe Logics

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X