Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Cover of the book

1999 | OriginalPaper | Chapter

A Dynamic Programming Approach to Categorial Deduction

Author : Philippe de Groote

Published in: Automated Deduction — CADE-16

Publisher: Springer Berlin Heidelberg

Included in: Professional Book Archive

Get Access

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

We reduce the provability problem of any formula of the Lambek calculus to some context-free parsing problem. This reduction, which is based on non-commutative proof-net theory, allows us to de- rive an automatic categorial deduction algorithm akin to the well-known Cocke-Kasami-Younger parsing algorithm.

next chapter Tractable Transformations from Modal Provability Logics into First-Order Logic
Metadata
Title
A Dynamic Programming Approach to Categorial Deduction
Author
Philippe de Groote
Copyright Year
1999
Publisher
Springer Berlin Heidelberg
Book
Automated Deduction — CADE-16

Print ISBN: 978-3-540-66222-8

Electronic ISBN: 978-3-540-48660-2

Copyright Year: 1999

DOI
https://doi.org/10.1007/3-540-48660-7_1