Logic

Authors and titles for math.LO in Apr 2014, skipping first 50

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

Title: On Affine Logic and Łukasiewicz Logic

Authors: Rob Arthan, Paulo Oliva

Comments: 28 pages

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

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

Title: On the Remarkable Features of Binding Forms

Authors: Fabio Mogavero, Giuseppe Perelli

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

[53]  arXiv:1404.3820 (cross-list from cs.CC) [pdf, ps, other]

Title: Circuit complexity, proof complexity, and polynomial identity testing

Authors: Joshua A. Grochow, Toniann Pitassi

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Logic (math.LO)

[54]  arXiv:1404.5888 (cross-list from quant-ph) [pdf, ps, other]

Title: The square of opposition in orthomodular logic

Authors: Hector Freytes, Christian de Ronde, Graciela Domenech

Comments: arXiv admin note: text overlap with arXiv:0904.4666

Journal-ref: Around and Beyond the Square of Opposition: Studies in Universal Logic, Jean-Yves B\'eziau y Dale Jacquette (Eds.), pp. 193-201, Springer, Basel, 2012

Subjects: Quantum Physics (quant-ph); Logic (math.LO)

[55]  arXiv:1404.5948 (cross-list from quant-ph) [pdf, ps, other]

Title: Quantum mechanics and the interpretation of the orthomodular square of opposition

Authors: Christian de Ronde, Hector Freytes, G. Domenech

Comments: (in press). arXiv admin note: text overlap with arXiv:1310.4534. substantial text overlap with arXiv:1404.5881

Journal-ref: New dimensions of the square of opposition, Jean-Yves B\'eziau & Katarzyna Gan-Krzywoszynska (Eds.), Philosophia Verlag, Munich 2014

Subjects: Quantum Physics (quant-ph); Logic (math.LO)

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

Title: Proving Termination of Unfolding Graph Rewriting for General Safe Recursion

Authors: Naohi Eguchi

Comments: Technical report

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Logic (math.LO)

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

Title: Piecewise Boolean algebras and their domains

Authors: Chris Heunen

Comments: 11 pages

Journal-ref: Proceedings of the 41st International Colloquium on Automata, Languages and Programming, Springer Lecture Notes in Computer Science 8573:208-219, 2014

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

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

Title: Computability of 1-manifolds

Authors: Konrad Burnik (University of Zagreb), Zvonko Iljazovic (University of Zagreb)

Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 2 (June 12, 2014) lmcs:961

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

[59]  arXiv:1404.7077 (cross-list from physics.gen-ph) [pdf, ps, other]

Title: Quantum Non-Objectivity from Performativity of Quantum Phenomena

Authors: Andrei Khrennikov, Andrew Schumann

Journal-ref: Phys. Scr. T 163 (2014) 014020

Subjects: General Physics (physics.gen-ph); Logic (math.LO); Quantum Physics (quant-ph)

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

Title: Open induction in a bounded arithmetic for TC^0

Authors: Emil Jeřábek

Comments: 35 pages

Journal-ref: Archive for Mathematical Logic 54 (2015), no. 3--4, pp. 359--394

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