Logic

Authors and titles for math.LO in May 2019, skipping first 75

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

Title: Rough Contact in General Rough Mereology

Authors: A. Mani

Comments: 11 Pages. Women in Logic Workshop, Vancouver'2019: 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2019. This preprint uses the same updated framework of arXiv:1811.06560

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

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

Title: Sequent-Type Proof Systems for Three-Valued Default Logic

Authors: Sopo Pkhakadze

Comments: This is an extended abstract summarising the research questions and goals of my master's thesis in computational logic, written at the Technische Universit\"at Wien. The abstract is accepted for publication and presentation at the Doctoral Consortium of the 15th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR 2019) in Philadelphia, PA, USA, June 4-7, 2019

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

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

Title: Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories

Authors: Robin Kaarsgaard

Comments: 19 pages, including 6 page appendix of proofs. Accepted for MFPS XXXV

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

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

Title: Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations

Authors: Christopher Hampson, Stanislav Kikot, Agi Kurucz, Sergio Marcelino

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

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

Title: Resolution Lower Bounds for Refutation Statements

Authors: Michal Garlík

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

[81]  arXiv:1905.12935 (cross-list from cs.CC) [pdf, other]

Title: Consistency of circuit lower bounds with bounded theories

Authors: Jan Bydzovsky, Jan Krajicek, Igor C. Oliveira

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 2 (June 18, 2020) lmcs:5578

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

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

Title: Rules with parameters in modal logic II

Authors: Emil Jeřábek

Comments: 67 pages

Journal-ref: Annals of Pure and Applied Logic 171 (2020), no. 10, article no. 102829

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

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

Title: Differential Equation Invariance Axiomatization

Authors: André Platzer, Yong Kiam Tan

Comments: Significantly extended version of arXiv:1802.01226

Journal-ref: J. ACM 67(1), Article 6, 2020, 66 pages

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

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

Title: A categorical construction for the computational definition of vector spaces

Authors: Alejandro Díaz-Caro, Octavio Malherbe

Comments: 39 pages. Applied Categorical Structures (2020). arXiv admin note: text overlap with arXiv:1806.09236

Journal-ref: Applied Categorical Structures 28(5):807-844, 2020

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