LEADER 04458nam 22007575 450 001 996202528603316 005 20230329181725.0 010 $a3-662-44145-4 024 7 $a10.1007/978-3-662-44145-9 035 $a(CKB)3710000000227442 035 $a(SSID)ssj0001338771 035 $a(PQKBManifestationID)11735575 035 $a(PQKBTitleCode)TC0001338771 035 $a(PQKBWorkID)11344874 035 $a(PQKB)10156986 035 $a(DE-He213)978-3-662-44145-9 035 $a(MiAaPQ)EBC6285042 035 $a(MiAaPQ)EBC5594682 035 $a(Au-PeEL)EBL5594682 035 $a(OCoLC)889435022 035 $a(PPN)180625861 035 $a(EXLCZ)993710000000227442 100 $a20140823d2014 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogic, Language, Information, and Computation$b[electronic resource] $e21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings /$fedited by Ulrich Kohlenbach, Pablo Barceló, Ruy J G B de Queiroz 205 $a1st ed. 2014. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2014. 215 $a1 online resource (XX, 237 p. 17 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8652 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-662-44144-6 320 $aIncludes bibliographical references and index. 327 $aOn Normal Numbers -- Dependence Logic -- Syntax and Semantics for Translation -- Intersection types for normalization and verification -- Quantum State Transformations and Branching Distributed Temporal Logic -- Backward deterministic Büchi automata -- Deniability for Downward and Vertical XPath on Data Trees -- On the value of variables -- Logics with Copy and Remove -- Unranked Second-Order Anti-Unification -- Reinstatement and the requirement of maximal specificity in argument Systems -- Sequentialization for N-Graphs via Sub-N-Graphs -- Interrogative dependencies and the constructive content of inquisitive Proofs -- Modal logics of uncertainty with two layer-syntax: a general completeness theorem -- Ancestral Logic: a Proof Theoretical Study -- A Calculus of Anyons -- Theorems on Pre-Fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars -- Common Knowledge Semantics of Armstrong's Axioms -- On Distributed Stochastic Logics for Mobile Systems -- On the Construction of Analytic Sequent Calculi for Sub-classical Logics -- On the Broader Epistemological Significance of Self-Justifying Axiom Systems. 330 $aEdited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Communication, WoLLIC 2014, held in Valparaiso, Chile, in September 2014. The 15 contributed papers presented  together with 6 invited lectures were carefully reviewed and selected from 29 submissions. The focus of the workshop was on the following subjects Inter-Disciplinary Research involving Formal Logic, Computing and Programming Theory, and Natural Language and Reasoning. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8652 606 $aMachine theory 606 $aArtificial intelligence 606 $aComputer science?Mathematics 606 $aAlgorithms 606 $aFormal Languages and Automata Theory 606 $aArtificial Intelligence 606 $aSymbolic and Algebraic Manipulation 606 $aAlgorithms 615 0$aMachine theory. 615 0$aArtificial intelligence. 615 0$aComputer science?Mathematics. 615 0$aAlgorithms. 615 14$aFormal Languages and Automata Theory. 615 24$aArtificial Intelligence. 615 24$aSymbolic and Algebraic Manipulation. 615 24$aAlgorithms. 676 $a511.3 702 $aKohlenbach$b Ulrich$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBarceló$b Pablo$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $ade Queiroz$b Ruy J G B$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996202528603316 996 $aLogic, Language, Information and Computation$9772504 997 $aUNISA