Substructural logics /

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