001435127 000__ 03945cam\a2200577\a\4500
001435127 001__ 1435127
001435127 003__ OCoLC
001435127 005__ 20230309003838.0
001435127 006__ m\\\\\o\\d\\\\\\\\
001435127 007__ cr\un\nnnunnun
001435127 008__ 210327s2021\\\\sz\\\\\\o\\\\\000\0\eng\d
001435127 019__ $$a1243058921$$a1249943746
001435127 020__ $$a3030665453
001435127 020__ $$a9783030665456$$q(electronic bk.)
001435127 020__ $$z3030665445
001435127 020__ $$z9783030665449
001435127 0247_ $$a10.1007/978-3-030-66545-6$$2doi
001435127 035__ $$aSP(OCoLC)1243533737
001435127 040__ $$aEBLCP$$beng$$epn$$cEBLCP$$dGW5XE$$dOCLCO$$dYDX$$dN$T$$dOCLCF$$dLEATE$$dUKAHL$$dOCLCQ$$dWAU$$dOCLCO$$dOCLCQ
001435127 049__ $$aISEA
001435127 050_4 $$aQA9
001435127 08204 $$a511.3$$223
001435127 24500 $$aJoachim Lambek :$$bthe interplay of mathematics, logic, and linguistics /$$cClaudia Casadio, Philip J. Scott, editors.
001435127 260__ $$aCham :$$bSpringer,$$c2021.
001435127 300__ $$a1 online resource (xxxii, 432 pages) :$$billustrations
001435127 336__ $$atext$$btxt$$2rdacontent
001435127 337__ $$acomputer$$bc$$2rdamedia
001435127 338__ $$aonline resource$$bcr$$2rdacarrier
001435127 4901_ $$aOutstanding Contributions to Logic ;$$vv. 20
001435127 5050_ $$aLambek's syntactic calculus and noncommutative variants of linear logic : laws and proof-nets -- Sheaf representations and duality in logic -- On the naturalness of Mal'tsev categories -- Extensions of Lambek calculi -- Categories with families : unityped, simply typed, and dependently typed -- The mathematics of text structure -- Aspects of categorical recursion theory -- Morphisms of rings -- Pomset logic : the other approach to noncommutativity in logic -- Pregroup grammars, their syntax and semantics -- The sequent calculus of skew monoidal categories.
001435127 506__ $$aAccess limited to authorized users.
001435127 520__ $$aThis book is dedicated to the life and work of the mathematician Joachim Lambek (19222014). The editors gather together noted experts to discuss the state of the art of various of Lambeks works in logic, category theory, and linguistics and to celebrate his contributions to those areas over the course of his multifaceted career. After early work in combinatorics and elementary number theory, Lambek became a distinguished algebraist (notably in ring theory). In the 1960s, he began to work in category theory, categorical algebra, logic, proof theory, and foundations of computability. In a parallel development, beginning in the late 1950s and for the rest of his career, Lambek also worked extensively in mathematical linguistics and computational approaches to natural languages. He and his collaborators perfected production and type grammars for numerous natural languages. Lambek grammars form an early noncommutative precursor to Girards linear logic. In a surprising development (2000), he introduced a novel and deeper algebraic framework (which he called pregroup grammars) for analyzing natural language, along with algebraic, higher category, and proof-theoretic semantics. This book is of interest to mathematicians, logicians, linguists, and computer scientists.
001435127 588__ $$aDescription based on print version record.
001435127 60010 $$aLambek, Joachim.
001435127 650_0 $$aLogic, Symbolic and mathematical.
001435127 650_0 $$aMathematical linguistics.
001435127 650_0 $$aAlgebra.
001435127 650_6 $$aLogique symbolique et mathématique.
001435127 650_6 $$aLinguistique mathématique.
001435127 650_6 $$aAlgèbre.
001435127 655_0 $$aElectronic books.
001435127 7001_ $$aCasadio, C.$$q(Claudia)
001435127 7001_ $$aScott, Philip J.
001435127 77608 $$iPrint version:$$aCasadio, Claudia.$$tJoachim Lambek: the Interplay of Mathematics, Logic, and Linguistics.$$dCham : Springer International Publishing AG, ©2021$$z9783030665449
001435127 830_0 $$aOutstanding contributions to logic ;$$vv. 20.
001435127 852__ $$bebk
001435127 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-66545-6$$zOnline Access$$91397441.1
001435127 909CO $$ooai:library.usi.edu:1435127$$pGLOBAL_SET
001435127 980__ $$aBIB
001435127 980__ $$aEBOOK
001435127 982__ $$aEbook
001435127 983__ $$aOnline
001435127 994__ $$a92$$bISE