Logic

Authors and titles for math.LO in May 2016, skipping first 50

[51]  arXiv:1605.01199 (cross-list from cs.LO) [pdf, other]

Title: Non-Homogenizable Classes of Finite Structures

Authors: Albert Atserias, Szymon Toruńczyk

Comments: Very minor revision of the introduction section and the bibliography of the earlier version

Subjects: Logic in Computer Science (cs.LO); Combinatorics (math.CO); Logic (math.LO)

[52]  arXiv:1605.01596 (cross-list from cs.AI) [pdf, ps, other]

Title: Notes on a model for fuzzy computing

Authors: Vittorio Cafagna, Gianluca Caterina

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Logic (math.LO)

[53]  arXiv:1605.01778 (cross-list from cs.AI) [pdf, other]

Title: Combinatorial Aspects of the Distribution of Rough Objects

Authors: A. Mani

Comments: 17 Pages, 5 Figures, Preprint This version has since been substantially revised. Please wait for new version to appear

Subjects: Artificial Intelligence (cs.AI); Information Theory (cs.IT); Combinatorics (math.CO); Logic (math.LO)

[54]  arXiv:1605.04271 (cross-list from cs.LO) [pdf, other]

Title: Axiomatizations for downward XPath on Data Trees

Authors: Sergio Abriola, María Emilia Descotte, Raul Fervari, Santiago Figueira

Subjects: Logic in Computer Science (cs.LO); Databases (cs.DB); Logic (math.LO)

[55]  arXiv:1605.08949 (cross-list from cs.LO) [pdf, ps, other]

Title: Logic of Local Inference for Contextuality in Quantum Physics and Beyond

Authors: Kohei Kishida

Comments: Forty-Third International Colloquium on Automata, Languages, and Programming (ICALP 2016)

Journal-ref: Forty-Third International Colloquium on Automata, Languages, and Programming (ICALP 2016), 113:1--113:14, 2016

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO); Quantum Physics (quant-ph)