001432507 000__ 03835cam\a2200577\i\4500
001432507 001__ 1432507
001432507 003__ OCoLC
001432507 005__ 20230309003447.0
001432507 006__ m\\\\\o\\d\\\\\\\\
001432507 007__ cr\un\nnnunnun
001432507 008__ 201114s2021\\\\sz\\\\\\ob\\\\000\0\eng\d
001432507 019__ $$a1204207421
001432507 020__ $$a303052163X$$q(electronic book)
001432507 020__ $$a9783030521639$$q(electronic bk.)
001432507 020__ $$z3030521621
001432507 020__ $$z9783030521622
001432507 0247_ $$a10.1007/978-3-030-52163-9$$2doi
001432507 035__ $$aSP(OCoLC)1206395778
001432507 040__ $$aEBLCP$$beng$$erda$$epn$$cEBLCP$$dEBLCP$$dGW5XE$$dYDX$$dOCLCO$$dOCLCF$$dN$T$$dAFU$$dOCLCQ$$dOCLCO$$dVLB$$dOCLCQ
001432507 049__ $$aISEA
001432507 050_4 $$aQA10$$b.A44 2021eb
001432507 08204 $$a511.3$$223
001432507 24500 $$aAlgebraic perspectives on substructural logics /$$cDavide Fazio, Antonio Ledda, Francesco Paoli, editors.
001432507 264_1 $$aCham, Switzerland :$$bSpringer,$$c[2021]
001432507 264_4 $$c©2021
001432507 300__ $$a1 online resource (x, 193 pages)
001432507 336__ $$atext$$btxt$$2rdacontent
001432507 337__ $$acomputer$$bc$$2rdamedia
001432507 338__ $$aonline resource$$bcr$$2rdacarrier
001432507 4901_ $$aTrends in logic ;$$vvolume 55
001432507 504__ $$aIncludes bibliographical references.
001432507 50500 $$tEditorial Introduction --$$tDistributivity and Varlet Distributivity --$$tOn Distributive Join Semilattices --$$tImplication in Weakly and Dually Weakly Orthomodular Lattices --$$tResiduated Operators and Dedekind-MacNeille Completion --$$tPBZ*-Lattices: Ordinal and Horizontal Sums --$$tEMV-Algebras-Extended MV-Algebras --$$tQuasi-Nelson; Or, Non-involutive Nelson Algebras --$$tHyperdoctrines and the Ontology of Stratified Semantics.
001432507 506__ $$aAccess limited to authorized users.
001432507 520__ $$aThis volume presents the state of the art in the algebraic investigation into substructural logics. It features papers from the workshop AsubL (Algebra & Substructural Logics - Take 6). Held at the University of Cagliari, Italy, this event is part of the framework of the Horizon 2020 Project SYSMICS: SYntax meets Semantics: Methods, Interactions, and Connections in Substructural logics. Substructural logics are usually formulated as Gentzen systems that lack one or more structural rules. They have been intensively studied over the past two decades by logicians of various persuasions. These researchers include mathematicians, philosophers, linguists, and computer scientists. Substructural logics are applicable to the mathematical investigation of such processes as resource-conscious reasoning, approximate reasoning, type-theoretical grammar, and other focal notions in computer science. They also apply to epistemology, economics, and linguistics. The recourse to algebraic methods -- or, better, the fecund interplay of algebra and proof theory -- has proved useful in providing a unifying framework for these investigations. The AsubL series of conferences, in particular, has played an important role in these developments. This collection will appeal to students and researchers with an interest in substructural logics, abstract algebraic logic, residuated lattices, proof theory, universal algebra, and logical semantics.
001432507 650_0 $$aLogic, Symbolic and mathematical.
001432507 650_0 $$aAlgebra, Abstract.
001432507 650_6 $$aLogique symbolique et mathématique.
001432507 650_6 $$aAlgèbre abstraite.
001432507 655_0 $$aElectronic books.
001432507 7001_ $$aFazio, Davide,$$eeditor.
001432507 7001_ $$aLedda, Antonio,$$eeditor.
001432507 7001_ $$aPaoli, Francesco,$$eeditor.
001432507 7112_ $$aAsubL (Workshop)$$n(6th :$$d2018 :$$cCagliari, Italy)
001432507 77608 $$iPrint version:$$z9783030521622
001432507 830_0 $$aTrends in logic ;$$vv. 55.
001432507 852__ $$bebk
001432507 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-52163-9$$zOnline Access$$91397441.1
001432507 909CO $$ooai:library.usi.edu:1432507$$pGLOBAL_SET
001432507 980__ $$aBIB
001432507 980__ $$aEBOOK
001432507 982__ $$aEbook
001432507 983__ $$aOnline
001432507 994__ $$a92$$bISE