Logic

Authors and titles for math.LO in Jan 2020

[1]  arXiv:2001.00064 [pdf, ps, other]

Title: Brouwer's fan theorem

Authors: Josef Berger

Subjects: Logic (math.LO)

[2]  arXiv:2001.00232 [pdf, ps, other]

Title: A Characterization Result for Non-Distributive Logics

Authors: Chrysafis (Takis) Hartonas

Journal-ref: College Publications, Tributes series, Katalin Bimbo (ed), Essays in hounor of J. Michael Dunn, 2022

Subjects: Logic (math.LO)

[3]  arXiv:2001.00544 [pdf, ps, other]

Title: Probabilistically-like nilpotent groups

Authors: Daniel Palacín

Subjects: Logic (math.LO); Group Theory (math.GR)

[4]  arXiv:2001.00609 [pdf, ps, other]

Title: The generic flat pregeometry

Authors: Omer Mermelstein

Subjects: Logic (math.LO); Combinatorics (math.CO)

[5]  arXiv:2001.00662 [pdf, ps, other]

Title: Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi

Authors: Richard Zach

Comments: 42 pp

Journal-ref: The Review of Symbolic Logic 14 (2021) 645-686

Subjects: Logic (math.LO)

[6]  arXiv:2001.00908 [pdf, other]

Title: The generic combinatorial simplex

Authors: Aristotelis Panagiotopoulos, Sławomir Solecki

Subjects: Logic (math.LO); Algebraic Topology (math.AT); Combinatorics (math.CO); Category Theory (math.CT)

[7]  arXiv:2001.00936 [pdf, ps, other]

Title: Binary Kripke Semantics for a Strong Logic for Naive Truth

Authors: Ben Middleton

Subjects: Logic (math.LO)

[8]  arXiv:2001.00997 [pdf, ps, other]

Title: Implication via Spacetime

Authors: Amirhossein Akbar Tabatabai

Comments: 66 pages

Subjects: Logic (math.LO)

[9]  arXiv:2001.01088 [pdf, ps, other]

Title: Restricted Rules of Inference and Paraconsistency

Authors: Sankha S. Basu, Mihir K. Chakraborty

Comments: The final version of this paper has been published online in Logic Journal of the IGPL (this https URL). Minor typos fixed; Theorem 3.7 has been changed to Remark 3.7; other minor rearrangements of the material done; further justification added in Remark 4.28 (now Remark 4.27)

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

[10]  arXiv:2001.01319 [pdf, ps, other]

Title: Orienting Borel Graphs

Authors: Riley Thornton

Subjects: Logic (math.LO); Combinatorics (math.CO); Probability (math.PR)