Books in Mathematical logic and formal languages

Handbook of Logic and Language

2nd Edition
December 17, 2010
Johan F.A.K. van Benthem + 1 more
English
Paperback
9 7 8 0 4 4 4 6 0 2 2 5 1
eBook
9 7 8 0 4 4 4 5 3 7 2 7 0

The logical study of language is becoming more interdisciplinary, playing a role in fields such as computer science, artificial intelligence, cognitive science and game theory. This new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as a historical perspective. It is divided into three parts covering Frameworks, General Topics and Descriptive Themes.

CAFE: An Industrial-Strength Algebraic Formal Method

1st Edition
October 6, 2000
K. Futatsugi + 2 more
English
eBook
9 7 8 0 0 8 0 5 2 8 4 0 3

This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. The authors are speakers at a workshop held in 1998 to commemorate a large industrial/academic project dedicated to CafeOBJ. The project involved more than 40 people from more than 10 organisations, of which 6 are industrial. The workshop attracted about 30 talks and more than 70 attendees.The papers in the book however, are either heavily revised versions presented at the workshop, to reflect recent advancements or research; or completely new ones, written especially for this book. In this regard, the book is not a usual postpublication after a workshop. Also, although it is a compendium of papers that are related to CafeOBJ, the book is not a manual, reference, or tutorial of CafeOBJ. Probably the best description is that it is a collection of papers that investigate how to use, or to make it easy to use, CafeOBJ. Reflecting the diverse nature of the project and its participants (most of the authors are participants to the project), the papers, put together, offer a comprehensive picture from this methodological perspective.Some papers deal with various advanced aspects of the language, such as rewriting logic and behavioural logic. For rewriting logic, a couple of significant applications were reported. In particular, UML, now considered de facto standard language for modelling systems, is the subject of one paper. For behavioural logic, new methodological guidelines are presented. Some papers shed new light on a more traditional paradigm in the language; order-sorted equational specifications. One paper, in particular, deal with a way to associate CafeOBJ with object-oriented programming. The other papers deal with environments for writing and vertifying specifications written in CafeOBJ. Underlying those papers are two major considerations: user interfaces for manipulating specifications, and systematic supports for proofs. All the environments explained in the papers assume and support distributed computing, and de facto standard network technologies, such as WWW and http, are incorporated.

Provability, Computability and Reflection

1st Edition
Volume 13
April 1, 2000
Lev D. Beklemishev
English
eBook
9 7 8 0 0 8 0 9 5 7 3 3 3

Provability, Computability and Reflection

1st Edition
Volume 16
April 1, 2000
Lev D. Beklemishev
English
eBook
9 7 8 0 0 8 0 9 5 7 3 6 4

Provability, Computability and Reflection

1st Edition
Volume 20
April 1, 2000
Lev D. Beklemishev
English
eBook
9 7 8 0 0 8 0 9 5 7 4 0 1

Studies in Logic publishes monographs and occasionally edited volumes in the area of mathematical logic and its applications.

Admissibility of Logical Inference Rules

1st Edition
Volume 136
March 14, 1997
V.V. Rybakov
English
eBook
9 7 8 0 0 8 0 5 2 5 9 9 0

The aim of this book is to present the fundamental theoretical results concerning inference rules in deductive formal systems. Primary attention is focused on:• admissible or permissible inference rules• the derivability of the admissible inference rules• the structural completeness of logics• the bases for admissible and valid inference rules.There is particular emphasis on propositional non-standard logics (primary, superintuitionistic and modal logics) but general logical consequence relations and classical first-order theories are also considered.The book is basically self-contained and special attention has been made to present the material in a convenient manner for the reader. Proofs of results, many of which are not readily available elsewhere, are also included.The book is written at a level appropriate for first-year graduate students in mathematics or computer science. Although some knowledge of elementary logic and universal algebra are necessary, the first chapter includes all the results from universal algebra and logic that the reader needs. For graduate students in mathematics and computer science the book is an excellent textbook.

Handbook of Logic and Language

1st Edition
December 11, 1996
J. van Benthem + 1 more
English
eBook
9 7 8 0 0 8 0 5 3 3 0 8 7

This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory and cognitive science.The history of the combined study of Logic and Linguistics goes back a long way, at least to the work of the scholastic philosophers in the Middle Ages. At the beginning of this century, the subject was revitalized through the pioneering efforts of Gottlob Frege, Bertrand Russell, and Polish philosophical logicians such as Kazimierz Ajdukiewicz. Around 1970, the landmark achievements of Richard Montague established a junction between state-of-the-art mathematical logic and generative linguistic theory. Over the subsequent decades, this enterprise of Montague Grammar has flourished and diversified into a number of research programs with empirical and theoretical substance.This appears to be the first Handbook to bring logic-language interface to the fore. Both aspects of the interaction between logic and language are demonstrated in the book i.e. firstly, how logical systems are designed and modified in response to linguistic needs and secondly, how mathematical theory arises in this process and how it affects subsequent linguistic theory.The Handbook presents concise, impartial accounts of the topics covered. Where possible, an author and a commentator have cooperated to ensure the proper breadth and technical content of the papers.The Handbook is self-contained, and individual articles are of the highest quality.

Constraints, Language and Computation

1st Edition
January 14, 1994
M. A. Rosner + 2 more
English
eBook
9 7 8 0 0 8 0 5 0 2 9 6 0

Constraint-based linguistics is intersected by three fields: logic, linguistics, and computer sciences. The central theme that ties these different disciplines together is the notion of a linguistic formalism or metalanguage. This metalanguage has good mathematical properties, is designed to express descriptions of language, and has a semantics that can be implemented on a computer. Constraints, Language and Computation discusses the theory and practice of constraint-based computational linguistics. The book captures both the maturity of the field and some of its more interesting future prospects during a particulary important moment of development in this field.

Self-Modifying Systems in Biology and Cognitive Science

1st Edition
Volume 6
March 20, 1991
G. Kampis
English
eBook
9 7 8 0 0 8 0 9 1 2 3 9 4

The theme of this book is the self-generation of information by the self-modification of systems. The author explains why biological and cognitive processes exhibit identity changes in the mathematical and logical sense. This concept is the basis of a new organizational principle which utilizes shifts of the internal semantic relations in systems. There are mathematical discussions of various classes of systems (Turing machines, input-output systems, synergetic systems, non-linear dynamics etc), which are contrasted with the author's new principle. The most important implications of this include a new conception on the nature of information and which also provides a new and coherent conceptual view of a wide class of natural systems. This book merits the attention of all philosophers and scientists concerned with the way we create reality in our mathematical representations of the world and the connection those representations have with the way things really are.

Algorithms and Complexity

1st Edition
Volume A
September 1, 1990
Bozzano G Luisa
English
Hardback
9 7 8 0 4 4 4 8 8 0 7 1 0
eBook
9 7 8 0 0 8 0 9 3 3 9 1 7

This first part presents chapters on models of computation, complexity theory, data structures, and efficient computation in many recognized sub-disciplines of Theoretical Computer Science.

Life Sciences

Physical Sciences & Engineering

Social Sciences & Humanities

Health

Books in Mathematical logic and formal languages

Handbook of Logic and Language

CAFE: An Industrial-Strength Algebraic Formal Method

Provability, Computability and Reflection

Provability, Computability and Reflection

Provability, Computability and Reflection

Admissibility of Logical Inference Rules

Handbook of Logic and Language

Constraints, Language and Computation

Self-Modifying Systems in Biology and Cognitive Science

Algorithms and Complexity