Publishing Partner: Cambridge University Press CUP Extra Publisher Login
amazon logo
More Info


New from Cambridge University Press!

ad

The Structural Design of Language

By Thomas S. Stroik, Michael T. Putnam

In this book, Stroik and Putnam take on Turing's challenge. They argue that the narrow syntax – the lexicon, the Numeration, and the computational system – must reside, for reasons of conceptual necessity, within the performance systems.


Book Information

   

Title: Logic Colloquium '92
Edited By: Laszlo Csirmaz
Dov M Gabbay
Maarten De Rijke
Description:

This volume is a selection of papers from the European Summer Meeting of the Association for Symbolic Logic, held in Veszprem, Hungary, in August 1992. The papers included grew out of invited and contributed talks on the two main themes of the conference, algebraic logic, and the axiomatizability and decidability of logical systems. Written from an interdisciplinary perspective, most of the contributions investigate logical properties of formal systems by studying algebraic properties of corresponding classes of algebras, or vice versa. The remaining papers focus on connected areas from model theory and the combination of logics. Significant and timely, LOGIC COLLOUIUM '92 is a collection of articles on algebraic logic and related areas written by the leading scholars in these fields.

Publication Year: 1996
Publisher: CSLI Publications
Review: Become a Reviewer
BibTex: View BibTex record
Linguistic Field(s): Semantics

Versions:
Format: Paperback
ISBN: 1881526984
ISBN-13: N/A
Pages: 319

 
 
Format: Hardback
ISBN: 1881526976
ISBN-13: N/A
Pages: 319