000725314 000__ 03720cam\a2200517Ii\4500 000725314 001__ 725314 000725314 005__ 20230306140632.0 000725314 006__ m\\\\\o\\d\\\\\\\\ 000725314 007__ cr\cn\nnnunnun 000725314 008__ 150122s2015\\\\gw\a\\\\o\\\\\101\0\eng\d 000725314 020__ $$a9783662458242$$qelectronic book 000725314 020__ $$a3662458241$$qelectronic book 000725314 020__ $$z9783662458235 000725314 0247_ $$a10.1007/978-3-662-45824-2$$2doi 000725314 035__ $$aSP(OCoLC)ocn900609041 000725314 035__ $$aSP(OCoLC)900609041 000725314 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dUPM$$dOCLCF$$dCOO$$dVLB 000725314 049__ $$aISEA 000725314 050_4 $$aQA9.A1$$bI24 2015eb 000725314 08204 $$a511.3$$223 000725314 1112_ $$aICLA (Conference : Logic)$$n(6th :$$d2015 :$$cMumbai, India) 000725314 24510 $$aLogic and its applications$$h[electronic resource] :$$b6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings /$$cedited by Mohua Banerjee, Shankara Narayanan Krishna. 000725314 2463_ $$aICLA 2015 000725314 264_1 $$aHeidelberg :$$bSpringer,$$c2015. 000725314 300__ $$a1 online resource (x, 234 pages) :$$billustrations. 000725314 336__ $$atext$$btxt$$2rdacontent 000725314 337__ $$acomputer$$bc$$2rdamedia 000725314 338__ $$aonline resource$$bcr$$2rdacarrier 000725314 4901_ $$aLecture Notes in Computer Science,$$x0302-9743 ;$$v8923 000725314 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues 000725314 500__ $$aInternational conference proceedings. 000725314 500__ $$aIncludes author index. 000725314 5050_ $$aHomotopy Type Theory -- The Relevance of Relevance to Relevance Logic -- Logic-Automata Connections for Transformations -- Truths about Simpson's Paradox: Saving the Paradox from Falsity -- Some instances of graded consequence in the context of interval-valued Semantics -- Neighborhood Contingency Logic -- Hierarchies in inclusion logic with lax semantics -- A Modal Logic for Non-deterministic Information Systems -- Tableaux for non-normal public announcement logic.-A pragmatistic approach to propositional knowledge based on the successful behavior of belief -- Büchi Automata Optimisations Formalised in Isabelle/HOL -- Nēya's logical model for Ascertaining Sound Arguments -- Negative Existentials and Non-denoting Terms -- Ordinals in an algebra-valued model of a paraconsistent set theory -- Extending Carnap's Continuum to Binary Relations. Representing Imperfect Information of Procedures with Hyper Models. 000725314 506__ $$aAccess limited to authorized users. 000725314 520__ $$aThis book collects the refereed proceedings of the 6th Indian Conference on Logic and Its Applications, ICLA 2015, held in Mumbai, India, in January 2015. The volume contains 13 full revised papers along with 3 invited talks presented at the conference. The papers were selected after rigorous review, from 23 submissions. They cover topics related to pure and applied formal logic, foundations and philosophy of mathematics and the sciences, set theory, model theory, proof theory, areas of theoretical computer science, artificial intelligence, systems of logic in the Indian tradition, and other disciplines which are of direct interest to mathematical and philosophical logic. 000725314 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed January 22, 2015). 000725314 650_0 $$aLogic, Symbolic and mathematical$$vCongresses. 000725314 7001_ $$aBanerjee, Mohua,$$eeditor. 000725314 7001_ $$aKrishna, Shankara Narayanan,$$eeditor. 000725314 77608 $$iPrint version:$$z9783662458235 000725314 830_0 $$aLecture notes in computer science ;$$v8923. 000725314 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues. 000725314 852__ $$bebk 000725314 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-662-45824-2$$zOnline Access$$91397441.1 000725314 909CO $$ooai:library.usi.edu:725314$$pGLOBAL_SET 000725314 980__ $$aEBOOK 000725314 980__ $$aBIB 000725314 982__ $$aEbook 000725314 983__ $$aOnline 000725314 994__ $$a92$$bISE