Format:
1 online resource (453 pages)
ISBN:
9783030665456
Series Statement:
Outstanding contributions to logic 20
Content:
Intro -- Preface -- Contents -- List of Contributors -- Introduction -- I. A brief biography -- II. Academic Work -- III. The papers in this volume -- References -- Lambek's Syntactic Calculus and Noncommutative Variants of Linear Logic: Laws and Proof-Nets -- 1 Formulations of Lambek's Syntactic Calculus in the framework of noncommutative variants of Linear Logic -- 1.1 Formulation of LC in the multiplicative fragment of Noncommutative Intuitionistic Linear Logic -- 1.2 Formulation of LC in the multiplicative fragments of Noncommutative Classical Linear Logic and Cyclic Linear Logic -- 2 Proof-Nets for Lambek's Syntactic Calculus -- 2.1 Cyclic multiplicative proof-nets -- 2.2 Proof-nets for LC -- 3 Geometrical formulation of laws of LC through Proof-Nets for LC -- 3.1 Geometrical representation of Monotonicity laws -- 3.2 Geometrical Representation of Application Laws, Expansion Laws and Type-raising Laws -- 3.3 Geometrical representation of Composition Laws, Geach Laws and Switching Laws -- 4 New laws emerged from proof-nets for LC and their linguistic applications -- 4.1 Laws of Composition -- 4.2 Laws related to Geach rules -- 4.3 Swiching laws -- 5 Conclusions -- References -- Sheaf Representations and Duality in Logic -- Preface -- 1 Gelfand duality -- 2 Grothendieck duality for commutative rings -- 3 Lambek-Moerdijk sheaf representation for toposes -- 3.1 Lambek's modified sheaf representation for toposes -- 4 Local sheaf representation for toposes -- 5 Stone duality for Boolean algebras -- 6 Stone duality for Boolean pretoposes -- 7 Sheaf representation for pretoposes -- 8 Logical schemes -- References -- On the naturalness of Mal'tsev categories -- Introduction -- Acknowledgements -- 1 Mal'tsev operations -- 2 Mal'tsev categories -- 2.1 Definition and examples -- 2.2 Yoneda embedding for internal structures -- 3 Characterizations.
Note:
Description based on publisher supplied metadata and other sources
Additional Edition:
ISBN 9783030665449
Additional Edition:
Erscheint auch als Druck-Ausgabe ISBN 9783030665449
Language:
English
Bookmarklink