## COLOG-88: International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, ProceedingsThis volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

A Morozov | 1 |

R Chuaqui and P Suppes | 25 |

T Coquand and C Paulin | 50 |

E Ya Dantsin | 67 |

Hallnas | 94 |

Ya Kreinovich | 112 |

P MartinLof | 146 |

G Mints | 198 |

S Neiman | 232 |

### Other editions - View all

Colog-88: International Conference on Computer Logic, Tallinn, USSR ... Per Martin-Lof,Grigori Mints No preview available - 2014 |

### Common terms and phrases

algebra algorithm allows apply arbitrary assume atomic axioms calculus called classical clauses closed complete Computer Conclusion condition connectives consider consists constant construction contains corresponding decidable defined definition denote dependent derivation described element equality equations equivalent example exists expressions extend fact finite fixed formula function give given hence implies induction inference infinite interpretation introduce language Lemma literals logic mathematical means method modal natural nonstandard normal notation Notes notion objects observables obtain occurs operator possible predicate premises present probability problem Proceedings proof propositional prove recursive reduction relation replacement resolution result ring rule satisfies Science semantics sense sequent simple solutions standard strategy subgoal substitution symbols Theorem theory true truth type theory University usual valid variables