Books in Mathematical logic and formal languages

Constraints, Language and Computation
1st Edition
M. A. Rosner + 2 more
English
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.
Extrapolation Methods
Theory and Practice
1st Edition
Volume 2
C. Brezinski + 1 more
English
This volume is a self-contained, exhaustive exposition of the extrapolation methods theory, and of the various algorithms and procedures for accelerating the convergence of scalar and vector sequences. Many subroutines (written in FORTRAN 77) with instructions for their use are provided on a floppy disk in order to demonstrate to those working with sequences the advantages of the use of extrapolation methods. Many numerical examples showing the effectiveness of the procedures and a consequent chapter on applications are also provided – including some never before published results and applications. Although intended for researchers in the field, and for those using extrapolation methods for solving particular problems, this volume also provides a valuable resource for graduate courses on the subject.
Handbook of Logic and Language
2nd Edition
Johan F.A.K. van Benthem + 1 more
English
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.
Combinatory Logic
1st Edition
Volume 65
Lev D. Beklemishev
English
Logic, Methodology and Philosophy of Science, Proceeding of the 1960 International Congress
1st Edition
Volume 44
Lev D. Beklemishev
English
Logic Colloquium 76, Proceedings of a conference
1st Edition
Volume 87
Lev D. Beklemishev
English
CAFE: An Industrial-Strength Algebraic Formal Method
1st Edition
K. Futatsugi + 2 more
English
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.
Sets and Classes on The Work by Paul Bernays
1st Edition
Volume 84
Lev D. Beklemishev
English
Studies in Logic and the Foundations of Mathematics
1st Edition
Volume 42
Lev D. Beklemishev
English
Axiomatic Set Theory
1st Edition
Volume 21
Lev D. Beklemishev
English
Provability, Computability and Reflection
1st Edition
Volume 14
Lev D. Beklemishev
English
Logic in Algebraic Form
1st Edition
Volume 72
Lev D. Beklemishev
English
Provability, Computability and Reflection
1st Edition
Volume 25
Lev D. Beklemishev
English
Provability, Computability and Reflection
1st Edition
Volume 4
Lev D. Beklemishev
English
A Transfinite Type Theory with Type Variables
1st Edition
Volume 37
Lev D. Beklemishev
English
Introduction to the Theory of Finite Automata
1st Edition
Volume 38
Lev D. Beklemishev
English
Provability, Computability and Reflection
1st Edition
Volume 5
Lev D. Beklemishev
English
The Metamathematics of Algebraic Systems
1st Edition
Volume 66
Lev D. Beklemishev
English
WORD PROBLEMS II
1st Edition
Volume 95
Lev D. Beklemishev
English
Computer Programming and Formal Systems
1st Edition
Volume 35
Lev D. Beklemishev
English
Proceedings of the Second Scandinavian Logic Symposium
1st Edition
Volume 63
Lev D. Beklemishev
English
Provability, Computability and Reflection
1st Edition
Volume 17
Lev D. Beklemishev
English
Provability, Computability and Reflection
1st Edition
Volume 34
Lev D. Beklemishev
English
The book consists of a selection of the forms of the axiom of choice which appeared in the literature together with additional forms which were obtained in the process of writing the book. Forms which were either used often in practice, unusual, relatively unknown, or particularly weak or strong were chosen for inclusion. The book assumes a knowledge of logic and elementary set theory (von Neumann-Bemays-Godel set theory), but does include a list of definitions of set theoretical symbols and terms in the section entitled "Preliminary Definitions and Theorems".
The Collected Papers of Gerhard Gentzen
1st Edition
Volume 55
Lev D. Beklemishev
English
Provability, Computability and Reflection
1st Edition
Volume 23
Lev D. Beklemishev
English
Problems in the Philosophy of Science
1st Edition
Volume 49
Lev D. Beklemishev
English
Formal Systems and Recursive Functions
1st Edition
Volume 40
Lev D. Beklemishev
English
Non-Classical Logics, Model Theory, And Computability
1st Edition
Volume 89
Lev D. Beklemishev
English
Generalized Recursion Theory
1st Edition
Volume 79
Lev D. Beklemishev
English
Provability, Computability and Reflection
1st Edition
Volume 27
Lev D. Beklemishev
English
Foundational Studies
1st Edition
Volume 93B
Lev D. Beklemishev
English
A Deductive Theory of Space and Time
1st Edition
Volume 45
Lev D. Beklemishev
English
Provability, Computability and Reflection
1st Edition
Volume 31
Lev D. Beklemishev
English
Constructible Sets with Applications
1st Edition
Volume 57
Lev D. Beklemishev
English
Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
1st Edition
Volume 74
Lev D. Beklemishev
English
Large Infinitary Languages
1st Edition
Volume 83
Lev D. Beklemishev
English
Sets, Models and Recursion Theory
1st Edition
Volume 46
Lev D. Beklemishev
English
Logic, Methodology and Philosophy of Science III
1st Edition
Volume 52
Lev D. Beklemishev
English
The Axiom of Choice
1st Edition
Volume 75
Lev D. Beklemishev
English
Intuitionistic Logic Model Theory and Forcing
1st Edition
Volume 54
Lev D. Beklemishev
English
Elementary Induction on Abstract Structures
1st Edition
Volume 77
Lev D. Beklemishev
English
LOGIC COLLOQUIUM '69
1st Edition
Volume 61
Lev D. Beklemishev
English
Lincos
Design of a Language for Cosmic Intercourse
1st Edition
Volume 28
Lev D. Beklemishev
English
Logic Colloquium '77
1st Edition
Volume 96
Lev D. Beklemishev
English
Constructive Order Types
1st Edition
Volume 56
Lev D. Beklemishev
English
Provability, Computability and Reflection
1st Edition
Volume 30
Lev D. Beklemishev
English
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968
1st Edition
Volume 60
Lev D. Beklemishev
English
Computer Programming and Formal Systems
1st Edition
Volume 26
Lev D. Beklemishev
English
Provability, Computability and Reflection
1st Edition
Volume 18
Lev D. Beklemishev
English
Logic Colloquium '78, Proceedings of the colloquium held in Mons
1st Edition
Volume 97
Lev D. Beklemishev
English

Life Sciences

Physical Sciences & Engineering

Social Sciences & Humanities

Health

Books in Mathematical logic and formal languages

Constraints, Language and Computation

Extrapolation Methods

Handbook of Logic and Language

Combinatory Logic

Logic, Methodology and Philosophy of Science, Proceeding of the 1960 International Congress

Logic Colloquium 76, Proceedings of a conference

CAFE: An Industrial-Strength Algebraic Formal Method

Sets and Classes on The Work by Paul Bernays

Studies in Logic and the Foundations of Mathematics

Axiomatic Set Theory

Provability, Computability and Reflection

Logic in Algebraic Form

Provability, Computability and Reflection

Provability, Computability and Reflection

A Transfinite Type Theory with Type Variables

Introduction to the Theory of Finite Automata

Provability, Computability and Reflection

The Metamathematics of Algebraic Systems

WORD PROBLEMS II

Computer Programming and Formal Systems

Proceedings of the Second Scandinavian Logic Symposium

Provability, Computability and Reflection

Provability, Computability and Reflection

The Collected Papers of Gerhard Gentzen

Provability, Computability and Reflection

Problems in the Philosophy of Science

Formal Systems and Recursive Functions

Non-Classical Logics, Model Theory, And Computability

Generalized Recursion Theory

Provability, Computability and Reflection

Foundational Studies

A Deductive Theory of Space and Time

Provability, Computability and Reflection

Constructible Sets with Applications

Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971

Large Infinitary Languages

Sets, Models and Recursion Theory

Logic, Methodology and Philosophy of Science III

The Axiom of Choice

Intuitionistic Logic Model Theory and Forcing

Elementary Induction on Abstract Structures

LOGIC COLLOQUIUM '69

Lincos

Logic Colloquium '77

Constructive Order Types

Provability, Computability and Reflection

Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968

Computer Programming and Formal Systems

Provability, Computability and Reflection

Logic Colloquium '78, Proceedings of the colloquium held in Mons