Searching for authors named Kees Doets – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Short Proof(s) for Classical Theorems
- …This note exploits back-and-forth characteristics to construct, using a single method, short proofs for ten classics of rst-order and modal logic: interpolation theorems, preservation theorems, and Lindstrom's theorem. 1 Introduction The classics alluded to in the title |among which interpolati…
- Add To MetaCart
-
Basic Model Theory
- …cal references and index. ISBN 1-234567-89-0 (cloth) ISBN 1-234567-89-0 (pbk.) 1. Logic. 2. Language. 3. Information. I. Title. II. Series: Studies in Logic, Language and Information ; no. ??, etc. BC5.S57 199? 160 90-82189 CIP iv Contents Introduction vii 1 Basic Notions 1 2 Relations Betwe…
- Add To MetaCart
-
A New Definition of SLDNF-resolution
- …We propose a new, "top-down" definition of SLDNF-resolution which retains the spirit of the original definition but avoids the difficulties noted in the literature. We compare it with the "bottom-up" definition of Kunen [Kun89]. 1 The problem The notion of SLD-resolution of Kowalski [Kow74] allows …
- Cited by 37 (7 self) – Add To MetaCart
-
Contents
- ……
- Add To MetaCart
-
Elementary Properties Of The Finite Ranks
- …. This note investigates the class of finite initial segments of the cumulative hierarchy of pure sets. We show that this class is first-order definable over the class of finite directed graphs and that this class admits a first-order definable global linear order. We apply this last result to show …
- Cited by 7 (0 self) – Add To MetaCart
Showing 1 through 5.
