Zeitschrift für mathematische Logik und Grundlagen der Mathematik PDF Download

Author:
Publisher:
ISBN:
Category : Logic, Symbolic and mathematical
Languages : en
Pages : 1078

View

Book Description

Author: Günter Asser
Publisher:
ISBN:
Category : Mathematics
Languages : de
Pages :

View

Book Description

Author: Egon Börger
Publisher: Springer Science & Business Media
ISBN: 9783540516590
Category : Computers
Languages : en
Pages : 412

View

Book Description
This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 3-7, 1988. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science: e.g. in complexity, data base theory, logic programming, artificial intelligence, and concurrency. The volume should be of interest to all logicians and computer scientists working in the above fields.

Author: Wojciech Buszkowski
Publisher: John Benjamins Publishing
ISBN: 9027278687
Category : Language Arts & Disciplines
Languages : en
Pages : 375

View

Book Description
This book is devoted to the mathematical foundations of categorial grammar including type-theoretic foundations of mathematics, grammatical categories and other topics related to categorial grammar and to philosophical and linguistic applications of this framework. The volume consists of three parts. The first, introductory part, contains the editor's addresses and two survey chapters concerning the history (W. Marciszewski) and current trends of the discipline (J.van Benthem). The second part consists of 10 chapters devoted to categorial grammar proper, and the third part 7 chapters devoted to areas close to categorial grammar. Most of the contributions are original papers, but five of them are reprints of classics (M.J. Cresswell, P.T. Geach, H. Hiz, J. Lambek, T. Potts).

Author: Heinrich Wansing
Publisher: Walter de Gruyter
ISBN: 3110876809
Category : Philosophy
Languages : en
Pages : 281

View

Book Description
Negation: A Notion in Focus (Perspectives in Analytical Philosophy, Bd 7).

Author:
Publisher: BRILL
ISBN: 9004457623
Category : Language Arts & Disciplines
Languages : en
Pages : 496

View

Book Description
The book covers almost the whole range of semiotics: the conceptions of meaning, the appearance of meaning units in semiosis, the dichotomy analyticity/syntheticity, the formal condition of good translation, the metaphorical change in fine arts, the figurativeness in modern literary theories, the metaphor in computer translation, the conditionals with egocentric predicates, the evolution of the notion of cause, the temporal relation in conditionals, the structure of passive voice, the semantics of to think, the reasoning and rationality, the non-formalized reasoning, the operation of acceptance, the principle of non-contradiction, the relation semiotics/logic/philosophy, the interdisciplinarity and exactness, the notion of imprecision, the interpretation of some semiotic notions (i.a. semantic field of terms) in terms of mathematics, the description of categorial grammars in terms of model theory, the human knowledge as moral problem, the conceptualization of the development of knowledge by means of the notion of meme, the cultural relations between some European countries, the typology of scientists, the semiotic studies of some Spanish, Irish, Czech, Polish and Norwegian works of literature, the semiotic aspects of music, television and the whole sphere of artifacts, the history of semiotics (Plato, Gonsung Long, Descartes, Fu Yen, Peirce, Brwal, Lotman, Langer).

Author: Klaus Weihrauch
Publisher: Springer Science & Business Media
ISBN: 3642569994
Category : Computers
Languages : en
Pages : 295

View

Book Description
Merging fundamental concepts of analysis and recursion theory to a new exciting theory, this book provides a solid fundament for studying various aspects of computability and complexity in analysis. It is the result of an introductory course given for several years and is written in a style suitable for graduate-level and senior students in computer science and mathematics. Many examples illustrate the new concepts while numerous exercises of varying difficulty extend the material and stimulate readers to work actively on the text.

Author:
Publisher: BRILL
ISBN: 9004457399
Category : Biography & Autobiography
Languages : en
Pages : 400

View

Book Description
This book presents Kazimierz Ajdukiewicz's philosophy. Ajdukiewicz was one of the most distinguished and important philosophers of the contemporary Poland. He produced important ideas in logic, epistemology, philosophy of language, and ontology. He influenced Polish analytic philosophy very much. The collection gives a general account of Ajdukiewicz philosophy and it is the only full presentation of his ideas available in Western languages. The volume is of interest for everybody working in analytic philosophy.

Author: M. Dunn
Publisher: Springer Science & Business Media
ISBN: 9401011613
Category : Philosophy
Languages : en
Pages : 341

View

Book Description
This is a collection of invited papers from the 1975 International Sym posium on Multiple-valued Logic. Also included is an extensive bib liography of works in the field of multiple-valued logic prior to 1975 - this supplements and extends an earlier bibliography of works prior to 1965, by Nicholas Rescher in his book Many-Valued Logic, McGraw-Hill, 1969. There are a number of possible reasons for interest in the present volume. First, the range of various uses covered in this collection of papers may be taken as indicative of a breadth which occurs in the field of multiple-valued logic as a whole - the papers here can do no more than cover a small sample: question-answering systems, analysis of computer hazards, algebraic structures relating to multiple-valued logic, algebra of computer programs, fuzzy sets. Second, a large part of the interest in such uses and applications has occurred in the last twenty, even ten years. It would be too much to expect this to be reflected in Rescher's 1969 book. Third, in the 1970's a series of annual symposia have been held on multiple-valued logic, which have brought much of this into a sharp focus. * The 1971 and 1972 symposia were held at the SUNY at Buffalo, the 1973 symposium at the Uni versity of Toronto, and the 1974 symposium at West Virginia Uni versity. Papers from these symposia are included in the bibliography which may be found in an appendix of this book.

Author: Peter Jeschke
Publisher: CRC Press
ISBN: 1000635244
Category : Science
Languages : en
Pages : 365

View

Book Description
Compiles the recent agricultural-biocatalysis research results by interdisciplinary teams from international institutes for chemistry, biochemistry, biotechnology, and materials and chemical engineering, Investigating important agricultural-biocatalytic topics related to biochemical conversions or bioremediation, modern biological and chemical applications Covers the research on biosynthesis, biocatalysis, and photosynthesis aspects for use in agro-chemistry, including nano-biocatalytic processing, atrazine toxicity, and theoretical studies in biocatalysis and biological processes.