Advances in Intensional Logic
Publisher: Rijke Maarten de; Springer
Published: Dec 07, 2010
Format: paperback
Number of pages: 308
ISBN-13: 9789048148974
Description: This book identifies important recent developments in intensional logic, a branch of logic with applications in linguistics, cognitive science, artificial intelligence, philosophy and computer science. The main themes of the book are proof theory, descriptive uses, applications, and foundations of intensional logic.
Notes: Source title: Advances in Intensional Logic (Applied Logic Series)