The Semantic Foundations of Logic: v.2 - Hardcover

Epstein, Richard L.

Hardcover

ISBN 10: 0195087607 ISBN 13: 9780195087604

Publisher: Oxford University Press Inc, 1994

Synopsis

The use of semantics in computation and logic is an important topic and one that is receiving increasing attention in journals and research. This volume covers all aspects of semantics and their applications to logic, describing formal semantics, truth tables and translations between logics. The text should be of interest to computer scientists working in logic and artificial intelligence and linguistics, philosophers, and applied mathematicians working in semantics and logic.

About this title

Review

"This book is for philosophers and researchers in artificial intelligence or natural language processing. It is dedicated to designing a foundation for as many logics as possible....can be worthwhile reading." --Computing Reviews"This book bridges a gap often felt by students of the humanities when starting with formal logic in the style of the usual textbook, and it intends to make the (hidden) relations of logic and language more transparent. . . .this is not an introduction to first-order logic as usual in mathematical logic, but an important supplement to such an introduction for the non-mathematician as well as for a philosophically minded mathematician."--Zentralblatt fur Mathematik und ihre Grenzgebiete Mathematics Abstracts"

Edition details

• Publisher: Oxford University Press Inc
• Publication date: 1994
• Language: English
• ISBN 10: 0195087607
• ISBN 13: 9780195087604
• Binding: Hardcover
• Number of pages: 431