Cover Image

Substructural logics /

Show other versions (1)

Substructural logics are nonclassical logics which arose in response to problems in theoretical computer science, mathematical linguistics, and catagory theory. They include intuitionist logic, relevant logic, BCK logic, linear logic and Lambeck's calculus of synthetic catagories.

Bibliographic Details
Other Authors: Schroeder-Heister, P. (Peter) (Editor), Došen, Kosta (Editor)
Format: eBook
Language:English
Published: Oxford : Clarendon, 2023.
Series:Studies in logic and computation ; 2.
Subjects:
Computer science.
Logic, Symbolic and mathematical.
Informatique.
Logique symbolique et mathématique.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Summary:Substructural logics are nonclassical logics which arose in response to problems in theoretical computer science, mathematical linguistics, and catagory theory. They include intuitionist logic, relevant logic, BCK logic, linear logic and Lambeck's calculus of synthetic catagories.
Item Description:Includes index.
Previously issued in print: 1993.
Physical Description:1 online resource (x,386 pages).
ISBN:9781383026153
1383026157